diff options
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |