From 9c6487ba87f448daa28158c6e916e3d932c50645 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 20 Oct 2004 13:50:08 +0000
Subject: COMMITED BYTECODE COMPILER

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

(limited to 'lib')

diff --git a/lib/options.ml b/lib/options.ml
index 3459279bb1..2e8c535173 100644
--- a/lib/options.ml
+++ b/lib/options.ml
@@ -107,3 +107,4 @@ let dump_it () =
   end
 
 let _ = at_exit dump_it
+
-- 
cgit v1.2.3