From b5df1925bbc14f441247349b200aa3f5828e8427 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 18 Feb 2004 18:32:33 +0000
Subject: - fixed the Assert_failure error in kernel/modops - fixed the problem
 with passing atomic tactics to ltacs - restructured the distrib Makefile (can
 build a package from   the CVS working dir)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5358 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 translate/ppconstrnew.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'translate')

diff --git a/translate/ppconstrnew.ml b/translate/ppconstrnew.ml
index 8a2ce3765b..9a86e3ffa4 100644
--- a/translate/ppconstrnew.ml
+++ b/translate/ppconstrnew.ml
@@ -426,7 +426,8 @@ let pr_return_type pr po = pr_case_type pr po
 
 let pr_simple_return_type pr na po =
   (match na with
-    | Name id -> spc () ++ str "as " ++  pr_id id
+    | Some (Name id) ->
+        spc () ++ str "as " ++  pr_id id
     | _ -> mt ()) ++
   pr_case_type pr po
 
-- 
cgit v1.2.3