diff options
| -rw-r--r-- | Source/Model/Model.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs index 50a8f45c..06f680fa 100644 --- a/Source/Model/Model.cs +++ b/Source/Model/Model.cs @@ -776,6 +776,5 @@ namespace Microsoft.Boogie p.Run();
return p.resModels;
}
-
}
}
|