diff options
| author |  Ally Donaldson <unknown> | 2015-01-08 19:58:07 +0000 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2015-01-08 19:58:07 +0000 |
| commit | dfc5ba21c5da1c8c4133b4aa260a90dc1a9404f4 (patch) | |
| tree | 691ce50846195ba9458ee6da96f5f0d039ab8288 /Source/ExecutionEngine | |
| parent | 96861beb1b7d47bc0b940ff83d5a721d5e67d924 (diff) | |
Updated to Staged Houdini
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 89f9a2c3..ae833dbf 100644 --- a/Source/ExecutionEngine/ExecutionEngine.cs +++ b/Source/ExecutionEngine/ExecutionEngine.cs @@ -1348,7 +1348,7 @@ namespace Microsoft.Boogie return PipelineOutcome.Done;
}
- private static Program ProgramFromFile(string filename) {
+ public static Program ProgramFromFile(string filename) {
Program p = ParseBoogieProgram(new List<string> { filename }, false);
System.Diagnostics.Debug.Assert(p != null);
LinearTypeChecker linearTypeChecker;
|