From 4c1ff7b3a2f21ec8ef57a36685b7beddf1b7aa54 Mon Sep 17 00:00:00 2001 From: Meowyam Date: Wed, 26 Jan 2022 19:22:42 +0800 Subject: [PATCH] added sing_V2 to AllMayAbs --- src/malay/AllMayAbs.gf | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/malay/AllMayAbs.gf b/src/malay/AllMayAbs.gf index 7e95d86d..d909027d 100644 --- a/src/malay/AllMayAbs.gf +++ b/src/malay/AllMayAbs.gf @@ -3,4 +3,6 @@ abstract AllMayAbs = Lang, Extend - ** {} ; + ** { + fun sing_V2: V2; + } ;