Minor fix to abshoudini

1 files changed, 7 insertions, 0 deletions

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index 9f73e4a1..57ef660d 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -3724,6 +3724,13 @@ namespace Microsoft.Boogie.Houdini {
             {

                 return (elem as Model.Boolean).Value;

             }

+            if (elem is Model.DatatypeValue && (elem as Model.DatatypeValue).Arguments.Length == 1 &&

+                (elem as Model.DatatypeValue).ConstructorName == "-" &&

+                (elem as Model.DatatypeValue).Arguments[0] is Model.Integer)

+            {

+                // negative number as "-" @ int

+                return Microsoft.Basetypes.BigNum.FromInt(-1 * ((elem as Model.DatatypeValue).Arguments[0] as Model.Integer).AsInt());

+            }

             throw new NotImplementedException("Cannot yet handle this Model.Element type");

         }