diff options
author | Dietrich <dgeisler50@gmail.com> | 2015-04-20 05:20:06 -0600 |
---|---|---|
committer | Dietrich <dgeisler50@gmail.com> | 2015-04-20 05:20:06 -0600 |
commit | 4f35766542c5735374b85f66006afea875f07b79 (patch) | |
tree | 76842d97212c417a28baf425e9b30fb2a6ecf3f7 /Source/Core/AbsyExpr.cs | |
parent | bdb6a7db94de0310fb6535facb33782fe231c013 (diff) |
added a collection of console writes for debugging. These should be removed in a future commit
Diffstat (limited to 'Source/Core/AbsyExpr.cs')
-rw-r--r-- | Source/Core/AbsyExpr.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index 62145eed..7aa457fe 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -630,6 +630,8 @@ namespace Microsoft.Boogie { return Type.Int;
} else if (Val is BigDec) {
return Type.Real;
+ } else if (Val is FP32) {
+ return Type.Float;
} else if (Val is BvConst) {
return Type.GetBvType(((BvConst)Val).Bits);
} else {
|