diff options
author | 2013-12-20 21:10:25 -0800 | |
---|---|---|
committer | 2013-12-20 21:10:25 -0800 | |
commit | 123afb33cd5137cc685bbe4faf2aab387ee0de72 (patch) | |
tree | 3c13d6f7cb12dccab16ca80b811e910572b8fd78 /Source/ExecutionEngine | |
parent | 9030a5a43425e5bf3c44a15cbfa0031ba4435c9e (diff) |
more refactoring of the concurrency stuff
Diffstat (limited to 'Source/ExecutionEngine')
-rw-r--r-- | Source/ExecutionEngine/ExecutionEngine.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs index bed9c6c0..35fe4dfe 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -485,7 +485,7 @@ namespace Microsoft.Boogie if (CommandLineOptions.Clo.StratifiedInlining == 0)
{
- OwickiGriesTransform.Transform(linearTypeChecker, moverTypeChecker);
+ Concurrency.Transform(linearTypeChecker, moverTypeChecker);
var eraser = new LinearEraser();
eraser.VisitProgram(program);
if (CommandLineOptions.Clo.OwickiGriesDesugaredOutputFile != null)
|