mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

Switched ParamDescrs.ToString to native implementation

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2012-10-12 21:05:32 +01:00
parent 44db8c083d
commit c2623e15c3
1 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
Microsoft.Z3/ParamDescrs.cs
View file

@ -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