Python: Fix QL alert

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-11-01 09:24:59 +01:00
parent 38b811b050
commit f7a8a8ae19

View File

@@ -383,7 +383,12 @@ module EssaFlow {
//--------
/** A module for transforming step relations. */
module StepRelationTransformations {
/** A step relation */
/**
* Holds if there is a step from `nodeFrom` to `nodeTo` in
* the step relation to be transformed.
*
* This is the input relation to the transformations.
*/
signature predicate stepSig(Node nodeFrom, Node nodeTo);
/**