Update src/abs.ott

Co-authored-by: Karl Palmskog <palmskog@gmail.com>
kth-step · Jan 23, 2024 · 98db216 · 98db216
1 parent 7553bbf
commit 98db216
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/abs.ott b/src/abs.ott
@@ -66,7 +66,7 @@ e :: e_ ::=
   | fn ( e1 , ... , en ) :: :: fn_call
     {{ com function call }}
   | e [ x1 |-> y1 , ... , xn |-> yn ] :: M :: subst_var
-    {{ coq (my_subst [[e]] [[x1 |-> y1 ... xn |-> yn]]) }}
+    {{ coq (e_var_subst [[e]] [[x1 |-> y1 ... xn |-> yn]]) }}
 
 sig :: sig_ ::=
      | T1 , ... , Tn -> T :: :: sig