From cfe8a58952105ce13231ff4a547b04cae48b7e66 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 7 Jun 2007 07:45:49 +0000
Subject: Unification des types + clause filtrage manquante + uniformisation
 locale

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9879 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/subtac/subtac_utils.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'contrib')

diff --git a/contrib/subtac/subtac_utils.ml b/contrib/subtac/subtac_utils.ml
index 5a32d2e423..3e8a3f597a 100644
--- a/contrib/subtac/subtac_utils.ml
+++ b/contrib/subtac/subtac_utils.ml
@@ -173,6 +173,7 @@ let string_of_hole_kind = function
   | CasesType -> "CasesType"
   | InternalHole -> "InternalHole"
   | TomatchTypeParameter _ -> "TomatchTypeParameter"
+  | GoalEvar -> "GoalEvar"
       
 let evars_of_term evc init c = 
   let rec evrec acc c =
-- 
cgit v1.2.3