From 2dafee57c84cd8d3bdccdba1bc348936a9548b94 Mon Sep 17 00:00:00 2001 From: Valentin Wüstholz Date: Tue, 29 Dec 2015 12:15:46 -0600 Subject: Minor change --- Source/VCGeneration/Wlp.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- cgit v1.2.3