diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-06-04 11:16:44 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-06-04 11:16:44 -0700 |
| commit | f285ae58005b268014902059b2f9becc2d17ac59 (patch) | |
| tree | 1c6b889fdaf2649a325564bbaccfd25031663164 /Source/Houdini/Houdini.cs | |
| parent | 2bb78e1a89bd0c8cda370cfc5d6f2060aa768733 (diff) | |
moved class Macro to Absy
cleanup up DefineMacro
Changed SI to use macros for reach info
Diffstat (limited to 'Source/Houdini/Houdini.cs')
| -rw-r--r-- | Source/Houdini/Houdini.cs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Source/Houdini/Houdini.cs b/Source/Houdini/Houdini.cs index 19ec088d..ab2fa74f 100644 --- a/Source/Houdini/Houdini.cs +++ b/Source/Houdini/Houdini.cs @@ -245,11 +245,6 @@ namespace Microsoft.Boogie.Houdini { }
}
- public class Macro : Function {
- public Macro(IToken tok, string name, VariableSeq args, Variable result)
- : base(tok, name, args, result) { }
- }
-
public class InlineRequiresVisitor : StandardVisitor {
public override CmdSeq VisitCmdSeq(CmdSeq cmdSeq) {
Contract.Requires(cmdSeq != null);
|