From d459c4b237e764740fdcfba71ac92a79e426f1de Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Wed, 19 Feb 2014 14:51:10 +0100
Subject: Extraction : minor support stuff for the new Extraction Compute
 plugin

 See https://github.com/letouzey/extraction-compute for more details
---
 plugins/extraction/table.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'plugins/extraction/table.ml')

diff --git a/plugins/extraction/table.ml b/plugins/extraction/table.ml
index 30e3b520f9..995d5fd19d 100644
--- a/plugins/extraction/table.ml
+++ b/plugins/extraction/table.ml
@@ -250,6 +250,11 @@ let modular () = !modular_ref
 let set_library b = library_ref := b
 let library () = !library_ref
 
+let extrcompute = ref false
+
+let set_extrcompute b = extrcompute := b
+let is_extrcompute () = !extrcompute
+
 (*s Printing. *)
 
 (* The following functions work even on objects not in [Global.env ()].
-- 
cgit v1.2.3