From c1384095f356a478d91ec08759ed86d053d06b9c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 23 Sep 2013 21:44:24 +0300
Subject: [PATCH] fix default argument identification

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/z3.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index f68457383..aaad24256 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -6449,7 +6449,7 @@ class Tactic:
 
 def _to_goal(a):
     if isinstance(a, BoolRef):
-        goal = Goal(a.ctx)
+        goal = Goal(ctx = a.ctx)
         goal.add(a)
         return goal
     else: