diff options
| author |  MichalMoskal <unknown> | 2010-12-10 03:01:09 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-12-10 03:01:09 +0000 |
| commit | f7fd7e4537ccc919ef804b5df6aacdc50794f39d (patch) | |
| tree | 7baabd0a71ebeefddd93573f1bcefe036017c5eb /Source/ModelViewer/Namer.cs | |
| parent | 62fd1368ccccab299cf98d366286ac39cd82062d (diff) | |
Display Skolem constants (no functions yet)
Diffstat (limited to 'Source/ModelViewer/Namer.cs')
| -rw-r--r-- | Source/ModelViewer/Namer.cs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/ModelViewer/Namer.cs b/Source/ModelViewer/Namer.cs index 8998204b..ee1d82fd 100644 --- a/Source/ModelViewer/Namer.cs +++ b/Source/ModelViewer/Namer.cs @@ -208,7 +208,10 @@ namespace Microsoft.Boogie.ModelViewer this.args = args;
}
- public EdgeName(string name) : this(null, name, emptyArgs) { }
+ public EdgeName(string name) : this(null, name, emptyArgs)
+ {
+ Util.Assert(name != null);
+ }
public override string ToString()
{
|