From 888d4be3ea2a45cff416fd8896276cfa8fc00518 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 10 Feb 2017 11:07:10 +0100
Subject: Make Obligations see fix_exn

---
 stm/stm.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index fd1cefa8d1..e698d1c72e 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -2961,5 +2961,6 @@ let parse_error_hook = Hooks.parse_error_hook
 let forward_feedback_hook = Hooks.forward_feedback_hook
 let process_error_hook = Hooks.process_error_hook
 let unreachable_state_hook = Hooks.unreachable_state_hook
+let () = Hook.set Obligations.stm_get_fix_exn (fun () -> !State.fix_exn_ref)
 let tactic_being_run_hook = Hooks.tactic_being_run_hook
 (* vim:set foldmethod=marker: *)
-- 
cgit v1.2.3