fix for issue #1244

hazelgrove · Mar 14, 2024 · 88a23ab · 88a23ab
1 parent a9b6cf5
commit 88a23ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lcore/statics/TypBase.re b/src/haz3lcore/statics/TypBase.re
@@ -227,7 +227,7 @@ module rec Typ: {
     | (Unknown(p1), Unknown(p2)) =>
       Some(Unknown(join_type_provenance(p1, p2)))
     | (Unknown(_), ty)
-    | (ty, Unknown(Internal | SynSwitch)) => Some(ty)
+    | (ty, Unknown(_)) => Some(ty)
     | (Var(n1), Var(n2)) =>
       if (n1 == n2) {
         Some(Var(n1));