Prevent a BvConst being changed once constructed. The motivation

for doing this is that we would like a LiteralExpr to be immutable
when constructed but because the "Val" field can point to a BvConst
which is an object it means that although the Val reference cannot
change the BvConst could be changed.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs
index 7b4900f2..12289c40 100644
--- a/Source/Core/AbsyExpr.cs
+++ b/Source/Core/AbsyExpr.cs
@@ -680,8 +680,8 @@ namespace Microsoft.Boogie {
   }

 

   public class BvConst {

-    public BigNum Value;

-    public int Bits;

+    public readonly BigNum Value;

+    public readonly int Bits;

 

     public BvConst(BigNum v, int b) {

       Contract.Assert(v.Signum >= 0);