From a54af4e97ccf24b7bd8802d7411b67bc2b4c5e55 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Wed, 18 Aug 2010 00:13:29 +0000
Subject: Make /typeEncoding:m work with arrays

---
 Source/VCExpr/VCExprASTVisitors.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source/VCExpr/VCExprASTVisitors.cs')

diff --git a/Source/VCExpr/VCExprASTVisitors.cs b/Source/VCExpr/VCExprASTVisitors.cs
index 4a13cbb5..1675a3a7 100644
--- a/Source/VCExpr/VCExprASTVisitors.cs
+++ b/Source/VCExpr/VCExprASTVisitors.cs
@@ -256,6 +256,7 @@ namespace Microsoft.Boogie.VCExprAST {
 Contract.Requires(node != null);
       Result res = StandardResult(node, arg);
 
+
       if (node.TypeParamArity == 0) {
         Contract.Assert(node.Op != null);
         VCExprOp op = node.Op;
-- 
cgit v1.2.3