diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-07-12 14:18:07 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-07-12 14:18:07 -0700 |
| commit | 33a3423b8a5455c5de7e1f32c27946bb704d650c (patch) | |
| tree | a0bf4a835411cd4ec60b2a777888106b3fca77d3 /Source | |
| parent | cbee46504afcf06d295a3b84c132a1abf5183fd3 (diff) | |
Another test checkin
Diffstat (limited to 'Source')
| -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;
}
-
}
}
|