Fix printing of (Array ...) types with /useArrayTheory

1 files changed, 3 insertions, 6 deletions

diff --git a/Source/Provers/SMTLib/SMTLibLineariser.cs b/Source/Provers/SMTLib/SMTLibLineariser.cs
index e8270787..2cda9d6a 100644
--- a/Source/Provers/SMTLib/SMTLibLineariser.cs
+++ b/Source/Provers/SMTLib/SMTLibLineariser.cs
@@ -102,12 +102,9 @@ namespace Microsoft.Boogie.SMTLib
           MapType m = t.AsMap;

           // Contract.Assert(m.MapArity == 1);

           sb.Append("(Array ");

-          foreach (Type tp in m.Arguments) {

-            TypeToStringHelper(tp, sb);

-            sb.Append(" ");

-          }

-          TypeToStringHelper(m.Result, sb);

-          sb.Append(")");

+          foreach (Type tp in m.Arguments)

+            sb.Append(TypeToString(tp)).Append(" ");

+          sb.Append(TypeToString(m.Result)).Append(")");

         } else if (t.IsMap) {

           MapType m = t.AsMap;

           sb.Append('[');