From c2623e15c3c0646418a194049e92cb93dd3d61bd Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 12 Oct 2012 21:05:32 +0100
Subject: [PATCH] Switched ParamDescrs.ToString to native implementation

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 Microsoft.Z3/ParamDescrs.cs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/Microsoft.Z3/ParamDescrs.cs b/Microsoft.Z3/ParamDescrs.cs
index 961bceeff..ca6db9abf 100644
--- a/Microsoft.Z3/ParamDescrs.cs
+++ b/Microsoft.Z3/ParamDescrs.cs
@@ -75,12 +75,7 @@ namespace Microsoft.Z3
         /// </summary>    
         public override string ToString()
         {
-            String res = "";
-            Symbol[] n = Names;
-            if (n.Length > 0) res = n[0].ToString();
-            for (uint i = 1; i < n.Length; i++)
-                res += " " + n[i].ToString();
-            return res;
+            return Native.Z3_param_descrs_to_string(Context.nCtx, NativeObject); 
         }
 
         #region Internal