diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-12-29 12:15:46 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-12-29 12:15:46 -0600 |
| commit | 2dafee57c84cd8d3bdccdba1bc348936a9548b94 (patch) | |
| tree | c9187f83b0ea93f4f3ef9fbd3294eb65c7259449 | |
| parent | 5d23ab3bf5bc80ee1bf5bbc6194a6de67264c61f (diff) | |
Minor change
| -rw-r--r-- | Source/VCGeneration/Wlp.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/Wlp.cs b/Source/VCGeneration/Wlp.cs index 741ed723..508a1400 100644 --- a/Source/VCGeneration/Wlp.cs +++ b/Source/VCGeneration/Wlp.cs @@ -193,7 +193,7 @@ namespace VC { var expr = ctxt.Ctxt.BoogieExprTranslator.Translate(ac.Expr); var aid = QKeyValue.FindStringAttribute(ac.Attributes, "id"); - if (aid != null && namedAssumeVars != null) + if (CommandLineOptions.Clo.PrintNecessaryAssumes && aid != null && namedAssumeVars != null) { var v = gen.Variable("assume$$" + aid, Microsoft.Boogie.Type.Bool); namedAssumeVars.Add(v); |