From b2beb9087628de23679a831e6273b91816f1ed27 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 17 Dec 2015 19:24:17 +0100
Subject: Using dynamic values in tactic evaluation.

---
 plugins/setoid_ring/newring.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/setoid_ring/newring.ml b/plugins/setoid_ring/newring.ml
index 2b07ba7044..d596cf6fb8 100644
--- a/plugins/setoid_ring/newring.ml
+++ b/plugins/setoid_ring/newring.ml
@@ -209,7 +209,7 @@ let get_res =
   let name = { mltac_plugin = "newring_plugin"; mltac_tactic = "get_res"; } in
   let entry = { mltac_name = name; mltac_index = 0 } in
   let tac args ist =
-    let n = Genarg.out_gen (Genarg.topwit Stdarg.wit_int) (List.hd args) in
+    let n = Tacinterp.Value.cast (Genarg.topwit Stdarg.wit_int) (List.hd args) in
     let init i = Id.Map.find (Id.of_string ("x" ^ string_of_int i)) ist.lfun in
     tactic_res := Array.init n init;
     Proofview.tclUNIT ()
-- 
cgit v1.2.3