From caa93dd02540162150a7d048e36ca1c1dc9cb0d4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 29 Sep 2002 09:35:37 +0000
Subject: Complétion filtrage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3046 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index a2620c67f7..d3d25534ce 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -3337,6 +3337,10 @@ let xlate_vernac =
      VernacTacticGrammar _|VernacVar _|VernacTime _|VernacNop|VernacComments _)
     -> xlate_error "TODO: vernac"
 
+  (* Modules and Module Types *)
+  | VernacDeclareModule _ -> xlate_error "TODO: vernac"
+  | VernacDeclareModuleType _ -> xlate_error "TODO: vernac"
+
 let xlate_vernac_list =
  function
    | VernacList (v::l) ->
-- 
cgit v1.2.3