aboutsummaryrefslogtreecommitdiff
path: root/src/interp/property.lisp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/property.lisp')
-rw-r--r--src/interp/property.lisp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/property.lisp b/src/interp/property.lisp
index 5046fa48..ebf97157 100644
--- a/src/interp/property.lisp
+++ b/src/interp/property.lisp
@@ -83,9 +83,9 @@
(|case| " case ")
(|and| " and ")
(|or| " or ")
- (TAG " -> ")
+ (TAG ": ")
(|+->| " +-> ")
- (RARROW ": ")
+ (RARROW " -> ")
(SEGMENT "..")
(in " in ")
(|^=| "^=")