up

cicada-lang · Oct 5, 2024 · 9915ec0 · 9915ec0
1 parent ac6bdb2
commit 9915ec0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/langs/explicit-substitution/reduce/substitute.cic b/docs/langs/explicit-substitution/reduce/substitute.cic
@@ -13,7 +13,7 @@ export function substitute(
     }
 
     case Exp::Fn(name, ret) => {
-      let freshName = freshen(name
+      let freshName = freshen(name)
       Exp::Fn(
         freshName,
         Exp::Let(