diff options
| author | Alasdair | 2018-12-11 01:12:50 +0000 |
|---|---|---|
| committer | Alasdair | 2018-12-11 01:12:50 +0000 |
| commit | c0500a16891e57b2856e47a3c233cd0c1d247a70 (patch) | |
| tree | c0ff320a30dc53904a697f6da31bc0611107ba39 /src/specialize.ml | |
| parent | 5bc5f5dee8921f8d24260dae54177e00c291fcb1 (diff) | |
Fix most remaining tests on branch
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 |