formalism: Fix UASynSwitch premise

hazelgrove · Jul 12, 2023 · 84e890f · 84e890f
1 parent 8ad8cec
commit 84e890f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formalism/patterned.tex b/formalism/patterned.tex
@@ -319,7 +319,7 @@ \subsection{Unmarked expressions}
 %
 \begin{mathpar}
   \inferrule[UASynSwitch]{
-    \ctxSynTypeU{\ctx}{\EMV}{\ctx'}
+    \ctxSynTypeU{\ctx}{\EMV}{\TMV}
   }{
     \ctxAnaTypeU{\ctx}{\EMV}{\TUnknownSwitch}
   }