Prox: beliebige Reihenfolge der Optionen: OK.

Change-Id: I256a0bd3d1629d1758f304726374298dfde0037d
KorAP · Nov 30, 2023 · 2f9de07 · 2f9de07
1 parent 284ba0a
commit 2f9de07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/antlr/cosmas/c2ps_opPROX.g b/src/main/antlr/cosmas/c2ps_opPROX.g
@@ -57,7 +57,7 @@ proxDist:	proxDirection (v1=proxDistValue m1=proxMeasure | m2=proxMeasure v2=pro
 // but how to handle multiple values for those options?
 // 28.11.23/FB
 
-proxDist:	(m+=proxMeasure|d=proxDirection|v=proxDistValue)+
+proxDist:	(m=proxMeasure|d=proxDirection|v=proxDistValue)+
 
 		->  {c2ps_opPROX.encodeDIST(DIST, DIR, $d.tree, $m.tree, $v.tree, $proxDist.text)};