mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

Merge branch 'working' of //z3-1/z3 into working

Browse source
This commit is contained in:
Leonardo de Moura 2012-10-12 16:38:06 -07:00
parent 75457e1393 c2623e15c3
commit af13e22f99
1 changed files with 1 additions and 6 deletions
Show stats 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> /// </summary>
public override string ToString() public override string ToString()
{ {
String res = ""; return Native.Z3_param_descrs_to_string(Context.nCtx, NativeObject);
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;
} }
#region Internal #region Internal