Fix THEN token.

diff --git a/mad b/mad
index 0009abb0868e7e2ba1708b5dc6cee731fdf23c12..ce10bc804292b840294af47b5d9d967291e10328 100755 (executable)
--- a/mad
+++ b/mad
@@ -26,7 +26,7 @@ t_POW     = r'\.P\.'
 t_NOT     = r'\.NOT\.'
 t_OR      = r'\.OR\.'
 t_AND     = r'\.AND\.'
-t_THEN    = r'\.OR\.'
+t_THEN    = r'\.THEN\.'
 t_EQV     = r'\.EQV\.'
 t_LT      = r'\.L\.'
 t_LE      = r'\.LE\.'