Boogie: Changed how the references in AbsInt are referenced, and fixed a typo in the Spec# version of Z3's ProverInterface.ssc

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Provers/Z3/ProverInterface.ssc b/Source/Provers/Z3/ProverInterface.ssc
index cc788033..3473a139 100644
--- a/Source/Provers/Z3/ProverInterface.ssc
+++ b/Source/Provers/Z3/ProverInterface.ssc
@@ -128,7 +128,7 @@ namespace Microsoft.Boogie.Z3
       return opts.BitVectors;

     } }

  

-    internal Z3LineariserOptions(bool asTerm, Z3InstanceOptions !opts, List<VCExprVar!>! letVariables) {

+    internal Z3LineariserOptions(bool asTerm, Z3InstanceOptions! opts, List<VCExprVar!>! letVariables) {

       base(asTerm);

       this.opts = opts;

       this.LetVariablesAttr = letVariables;