From 3d375ec372aa25405beaddbef68a5eeeffcc66a2 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 31 Jan 2019 13:41:03 +0000
Subject: Further restrict attention to Int kids

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

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index ceb8d85a..e16431b8 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -4150,7 +4150,7 @@ let add_bitvector_casts (Defs defs) =
   let rewrite_funcl (FCL_aux (FCL_Funcl (id,pexp),fcl_ann)) =
     let fcl_env = env_of_annot fcl_ann in
     let (tq,typ) = Env.get_val_spec_orig id fcl_env in
-    let quant_kids = List.map kopt_kid (quant_kopts tq) in
+    let quant_kids = List.map kopt_kid (List.filter is_nat_kopt (quant_kopts tq)) in
     let ret_typ =
       match typ with
       | Typ_aux (Typ_fn (_,ret,_),_) -> ret
-- 
cgit v1.2.3