From f3e3640298e3edc6920d0c8d665c00f12e134c93 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Apr 2009 12:27:12 +0000
Subject: [PATCH] The context is now parsed in the reverse (right) order.

---
 helm/software/components/grafite_parser/grafiteParser.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/grafite_parser/grafiteParser.ml b/helm/software/components/grafite_parser/grafiteParser.ml
index 7b4e6157b..2a5d3c0b0 100644
--- a/helm/software/components/grafite_parser/grafiteParser.ml
+++ b/helm/software/components/grafite_parser/grafiteParser.ml
@@ -190,7 +190,7 @@ EXTEND
                         SYMBOL <:unicode<def>> ; bo = tactic_term ->
             id,`Def (bo,ty)];
         SYMBOL <:unicode<vdash>>;
-        concl = tactic_term -> (hyps,concl) ] ->
+        concl = tactic_term -> (List.rev hyps,concl) ] ->
          GrafiteAst.NAssert (loc, seqs)
     | IDENT "ncases"; what = tactic_term ; where = pattern_spec ->
         GrafiteAst.NCases (loc, what, where)
-- 
2.39.2