From 47c78072c71b34c4c5469736367234f43203e7c9 Mon Sep 17 00:00:00 2001
From: glondu
Date: Fri, 7 Dec 2007 21:50:00 +0000
Subject: Ocaml toplevel convenience.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10355 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/base_include | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/base_include')

diff --git a/dev/base_include b/dev/base_include
index 829c5ea61c..792330726b 100644
--- a/dev/base_include
+++ b/dev/base_include
@@ -169,7 +169,7 @@ open Declarations;;
 
 let constbody_of_string s =
   let b = Global.lookup_constant (Nametab.locate_constant (qualid_of_sp (path_of_string s))) in
-  Util.out_some b.const_body;;
+  Option.get b.const_body;;
 
 (* Get the current goal *)
 
-- 
cgit v1.2.3