commit 2f9de07e661092674815aa5cd99c63bb580fff67
author Bodmo <Bodmer@ids-mannheim.de> Thu Nov 30 16:21:20 2023 +0100
committer Bodmo <Bodmer@ids-mannheim.de> Thu Nov 30 16:21:20 2023 +0100
tree 1aebc4158e9cd9d991d9d79ad8487a51cf767a14
parent 284ba0afdfe247cbf7b552061a7009da0121c743

 Prox: beliebige Reihenfolge der Optionen: OK.

Change-Id: I256a0bd3d1629d1758f304726374298dfde0037d

src/main/antlr/cosmas/c2ps_opPROX.g

diff --git a/src/main/antlr/cosmas/c2ps_opPROX.g b/src/main/antlr/cosmas/c2ps_opPROX.g
index 3c23cf1..5d1ba5a 100644
--- a/src/main/antlr/cosmas/c2ps_opPROX.g
+++ b/src/main/antlr/cosmas/c2ps_opPROX.g
@@ -57,7 +57,7 @@
 // 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)};