From a5419f01eb48b1cb3f5dee5482263530ad075ef4 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 2 Aug 2017 01:15:55 +0200
Subject: Fixup reification of egeneralize.

---
 src/tac2stdlib.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2stdlib.ml b/src/tac2stdlib.ml
index 8fdf9c6d8c..5c8337d41a 100644
--- a/src/tac2stdlib.ml
+++ b/src/tac2stdlib.ml
@@ -189,7 +189,7 @@ end
 let () = define_prim1 "tac_egeneralize" begin fun cl ->
   let cast = function
   | ValBlk (0, [| c; occs; na |]) ->
-    ((to_occurrences Value.to_int c, Value.to_constr c), to_name na)
+    ((to_occurrences Value.to_int occs, Value.to_constr c), to_name na)
   | _ -> assert false
   in
   let cl = Value.to_list cast cl in
-- 
cgit v1.2.3