Fix an expression path problem in thm hypothesis expression error handling

1 files changed, 7 insertions, 2 deletions

diff --git a/ghilbert.py b/ghilbert.py
index 1e437b2..fb095ac 100755
--- a/ghilbert.py
+++ b/ghilbert.py
@@ -1442,8 +1442,13 @@ class Ghilbert():
                 hypnam = hp[0]
                 if pip.hyps.has_key(hypnam):
                     raise GhCmdExprError(
-                        _("Repeated hypothesis name '%s'") % hypnam, expr, ())
-                e = self.expr_convert(hp[1], pip_vdict, pip_vlist)
+                        _("Repeated hypothesis name '%s'") % hypnam,
+                        expr, (0,))
+                try:
+                    e = self.expr_convert(hp[1], pip_vdict, pip_vlist)
+                except GhCmdExprError, x:
+                    (why,) = x.args
+                    raise GhCmdExprError(why, None, (1,) + x.path)
                 pip.hyps[hypnam] = (hypnam, e)
                 hypnames.append(hypnam)
                 hyps_concs.append(e)