Remove the bogus cost-three comma

See #1453 for details
opencog · Feb 25, 2023 · a5762e6 · a5762e6
1 parent 98900c2
commit a5762e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/data/en/4.0.dict b/data/en/4.0.dict
@@ -13360,7 +13360,7 @@ RIGHT-WALL: RW- or ({@Xca-} & [[Xc-]]);
 % XXX the correct solution to this is to add a new domain rule ! XXX
 
 ",":
-  ({[@Xca-]-0.05 or [[[@Xc-]]]} & (({[EBx+]} & Xd+) or Xc-))
+  ({[@Xca-]-0.05} & (({[EBx+]} & Xd+) or Xc-))
   or [<semicol>];
 
 % ,.j

diff --git a/data/en/4.0.dict.m4 b/data/en/4.0.dict.m4
@@ -10938,7 +10938,7 @@ changequote dnl
 % XXX the correct solution to this is to add a new domain rule ! XXX
 
 ",":
-  ({[@Xca-]-0.05 or [[[@Xc-]]]} & (({[EBx+]} & Xd+) or Xc-))
+  ({[@Xca-]-0.05} & (({[EBx+]} & Xd+) or Xc-))
   or [<semicol>];
 
 % ,.j