From 99a260a7295fc3828c1cb76d6cb56c4c01c3521c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Sat, 7 Feb 2026 19:27:51 -0700
Subject: [PATCH]

---
 lab1/grammar/korean/MicroLangKor.gf | 4 ++--
 lab1/grammar/korean/MicroResKor.gf  | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lab1/grammar/korean/MicroLangKor.gf b/lab1/grammar/korean/MicroLangKor.gf
index 685773e..1357c6a 100644
--- a/lab1/grammar/korean/MicroLangKor.gf
+++ b/lab1/grammar/korean/MicroLangKor.gf
@@ -70,7 +70,7 @@ lin city_N = mkN "city" ;
 -- lin clever_A = mkA "똑똑한" ;
 lin cloud_N = mkN "cloud" ;
 -- lin cold_A = mkA "차가운" ;
-lin come_V = regVerb_ao "오다" ;
+lin come_V = regVerb_a_o "오다" ;
 lin computer_N = mkN "컴퓨터" ;
 lin cow_N = mkN "cow" ;
 -- lin dirty_A = mkA "더러운" ;
@@ -114,7 +114,7 @@ lin river_N = mkN "river" ;
 lin sea_N = mkN "바다" ;
 -- lin see_V2 = mkV2 (mkV "see" "saw" "seen") ;
 lin ship_N = mkN "ship" ;
-lin sleep_V = regVerb_ao "자다" ;
+lin sleep_V = regVerb_a_o "자다" ;
 -- lin small_A = mkA "작은" ;
 lin star_N = mkN "별" ;
 -- lin swim_V = mkV "swim" "swam" "swum" ;
diff --git a/lab1/grammar/korean/MicroResKor.gf b/lab1/grammar/korean/MicroResKor.gf
index 7501d1c..ac9d6ee 100644
--- a/lab1/grammar/korean/MicroResKor.gf
+++ b/lab1/grammar/korean/MicroResKor.gf
@@ -25,7 +25,7 @@ resource MicroResKor = open Prelude in {
 	  }
       } ;
 
-    regVerb_ao : (lemma : Str) -> Verb
+    regVerb_a_o : (lemma : Str) -> Verb
       = \lemma ->
       let stem = lemmaToStem lemma ;
       in {