diff options
| -rw-r--r-- | Source/Core/AbsyExpr.cs | 4 |
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);
|