diff options
-rw-r--r-- | Domains/crossingScenario/queries/crossingScenarioQueries.vql | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Domains/crossingScenario/queries/crossingScenarioQueries.vql b/Domains/crossingScenario/queries/crossingScenarioQueries.vql index 6c94a702..c009e031 100644 --- a/Domains/crossingScenario/queries/crossingScenarioQueries.vql +++ b/Domains/crossingScenario/queries/crossingScenarioQueries.vql | |||
@@ -497,7 +497,7 @@ pattern collisionExists_vsVisionBlocked(a1:Actor) { | |||
497 | } | 497 | } |
498 | */ | 498 | */ |
499 | //<<END QUALITATIF ABSTRACTION>> | 499 | //<<END QUALITATIF ABSTRACTION>> |
500 | /* | 500 | |
501 | //// | 501 | //// |
502 | //CollisionExists - Time | 502 | //CollisionExists - Time |
503 | //// | 503 | //// |