From 22b7df6b4c0bc19331dfdf826a6c81131318820a Mon Sep 17 00:00:00 2001
From: Jon French
Date: Mon, 4 Mar 2019 14:28:56 +0000
Subject: fix old extern type usage in Specialize

---
 src/specialize.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/specialize.ml b/src/specialize.ml
index 19c5df7a..17d04a46 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -60,7 +60,7 @@ let is_typ_ord_arg = function
 type specialization = {
     is_polymorphic : kinded_id -> bool;
     instantiation_filter : kid -> typ_arg -> bool;
-    extern_filter : (string -> string option) -> bool
+    extern_filter : (string * string) list -> bool
   }
 
 let typ_ord_specialization = {
@@ -72,7 +72,7 @@ let typ_ord_specialization = {
 let int_specialization = {
     is_polymorphic = is_int_kopt;
     instantiation_filter = (fun _ arg -> match arg with A_aux (A_nexp _, _) -> true | _ -> false);
-    extern_filter = (fun externs -> match externs "c" with Some _ -> true | None -> false)
+    extern_filter = (fun externs -> match Ast_util.extern_assoc "c" externs with Some _ -> true | None -> false)
   }
 
 let int_specialization_with_externs = {
-- 
cgit v1.2.3