From b14c153524a0cc7e8981d96ea85f7abfd255249a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 21 Jan 2016 11:41:51 +0000
Subject: Start splitting values/etc into int/big_int for ocaml generation

---
 src/spec_analysis.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/spec_analysis.mli')

diff --git a/src/spec_analysis.mli b/src/spec_analysis.mli
index 1b1197dd..731bd822 100644
--- a/src/spec_analysis.mli
+++ b/src/spec_analysis.mli
@@ -17,3 +17,4 @@ val default_order : tannot defs -> order
   suitable unwrapping of abbreviations, reg, and registers). 
 *)
 val is_within_range: typ -> typ -> nexp_range list -> triple
+val is_within_machine64 : typ -> nexp_range list -> triple
-- 
cgit v1.2.3