From a5a355ec3e9cbbfa28be53b9ba6ef914136b0aba Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack <arnaud@spiwack.net>
Date: Tue, 21 Oct 2014 21:53:35 +0200
Subject: Proofview: move more functions to the Unsafe module.

---
 toplevel/classes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/classes.ml b/toplevel/classes.ml
index e49857be3..60da19c18 100644
--- a/toplevel/classes.ml
+++ b/toplevel/classes.ml
@@ -307,7 +307,7 @@ let new_instance ?(abstract=false) ?(global=false) poly ctx (instid, bk, cl) pro
                   let init_refine =
                     Tacticals.New.tclTHENLIST [
                       Proofview.Refine.refine (fun evm -> evm, Option.get term);
-                      Proofview.tclNEWGOALS gls;
+                      Proofview.Unsafe.tclNEWGOALS gls;
                       Tactics.New.reduce_after_refine;
                     ]
                   in
-- 
cgit v1.2.3