From 20481a3f3405f04b47c7865ca2788a6f63660443 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 14 Jan 2018 02:20:42 +0100
Subject: Actually use the strategy information in the checker.

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

(limited to 'checker/closure.ml')

diff --git a/checker/closure.ml b/checker/closure.ml
index 3a56bba015..98f8c4a826 100644
--- a/checker/closure.ml
+++ b/checker/closure.ml
@@ -822,6 +822,7 @@ type clos_infos = fconstr infos
 
 let infos_env x = x.i_env
 let infos_flags x = x.i_flags
+let oracle_of_infos x = x.i_env.env_conv_oracle
 
 let create_clos_infos flgs env =
   create (fun _ -> inject) flgs env
-- 
cgit v1.2.3