diff options
Diffstat (limited to 'Source/VCGeneration/Wlp.ssc')
-rw-r--r-- | Source/VCGeneration/Wlp.ssc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/Wlp.ssc b/Source/VCGeneration/Wlp.ssc index d7692245..9700bc89 100644 --- a/Source/VCGeneration/Wlp.ssc +++ b/Source/VCGeneration/Wlp.ssc @@ -85,6 +85,7 @@ namespace VC { return gen.Implies(ctxt.Ctxt.BoogieExprTranslator.Translate(ac.Expr), N);
} else {
+ Console.WriteLine(cmd.ToString());
assert false; // unexpected command
}
}
|