From b230388e6843aea7dae6a662eee4bbe8acf8a79a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 10 Dec 2002 10:42:49 +0000
Subject: Ajout options -v7 et -v8, et commandes V7only et V8only

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

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index d30968df64..7213727c22 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -1029,6 +1029,7 @@ let _ =
 let interp c = match c with
   (* Control (done in vernac) *)
   | (VernacTime _ | VernacVar _ | VernacList _ | VernacLoad _) -> assert false
+  | (VernacV7only _ | VernacV8only _) -> assert false
 
   (* Syntax *)
   | VernacSyntax (whatfor,sel) -> vernac_syntax whatfor sel
-- 
cgit v1.2.3