From 94107f140402b3d63f17b3c4727b3cc8c3752082 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Thu, 1 Feb 2018 14:29:16 +0100 Subject: Eclass trace notation changed from "[X]" to "". --- .../parser/antlr/internal/InternalApplicationConfiguration.tokens | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens') diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens index 783a9243..ca7643ac 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens @@ -5,12 +5,12 @@ '.'=11 '..'=30 '::'=22 +'<'=32 '='=16 +'>'=33 'AlloySolver'=49 'SMTSolver'=48 'ViatraSolver'=50 -'['=32 -']'=33 'config'=27 'debug'=45 'epackage'=13 -- cgit v1.2.3-54-g00ecf