diff options
author | 2014-01-03 14:03:13 -0800 | |
---|---|---|
committer | 2014-01-03 14:03:13 -0800 | |
commit | b8ed7b28343a47fd081db24c75064466443d026a (patch) | |
tree | 0466d54dc1562f9de26b975549d16e3b8ec94812 /Source/Concurrency/Program.cs | |
parent | ca8660d1df65f15c994aa9f6686f6e82a7a2489d (diff) |
some fixes
Diffstat (limited to 'Source/Concurrency/Program.cs')
-rw-r--r-- | Source/Concurrency/Program.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Concurrency/Program.cs b/Source/Concurrency/Program.cs index 592667c8..7c2c0c74 100644 --- a/Source/Concurrency/Program.cs +++ b/Source/Concurrency/Program.cs @@ -33,7 +33,7 @@ namespace Microsoft.Boogie List<Declaration> decls = new List<Declaration>();
OwickiGries.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
MoverCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
- RefinementCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
+ //RefinementCheck.AddCheckers(linearTypeChecker, moverTypeChecker, decls);
program.TopLevelDeclarations.RemoveAll(x => originalDecls.Contains(x));
program.TopLevelDeclarations.AddRange(decls);
|