From e3f612f58dc0201beb3a86e1a5d8df9cd9158698 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Mon, 19 Jun 2023 11:39:44 -0300
Subject: Detail in 're.lua'

Distinction between 'm' and 'mm'.
---
 re.lua | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 're.lua')

diff --git a/re.lua b/re.lua
index 22cb8de..8e306c2 100644
--- a/re.lua
+++ b/re.lua
@@ -184,8 +184,8 @@ local exp = m.P{ "Exp",
                          + m.P"{}" * m.Cc(nil, m.Ct)
                          + defwithfunc(mt.__div)
                          )
-            + "=>" * S * defwithfunc(m.Cmt)
-            + "~>" * S * defwithfunc(m.Cf)
+            + "=>" * S * defwithfunc(mm.Cmt)
+            + "~>" * S * defwithfunc(mm.Cf)
             ) * S
           )^0, function (a,b,f) return f(a,b) end );
   Primary = "(" * m.V"Exp" * ")"
-- 
cgit v1.2.3-55-g6feb