From c0500a16891e57b2856e47a3c233cd0c1d247a70 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 11 Dec 2018 01:12:50 +0000
Subject: Fix most remaining tests on branch

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

(limited to 'src/specialize.ml')

diff --git a/src/specialize.ml b/src/specialize.ml
index 0f5b939c..583de600 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -54,7 +54,7 @@ open Rewriter
 open Extra_pervasives
 
 let is_typ_ord_uvar = function
-  | A_aux (A_nexp _, _) -> true
+  | A_aux (A_typ _, _) -> true
   | A_aux (A_order _, _) -> true
   | _ -> false
 
-- 
cgit v1.2.3