diff --git a/transition_machine/src/Oracle.cpp b/transition_machine/src/Oracle.cpp index 20bf53ccba3ced9f83f10efdc29a409e3ab63eba..d37ed82386abfac4ce8d8465f4c8c96b5dbb8992 100644 --- a/transition_machine/src/Oracle.cpp +++ b/transition_machine/src/Oracle.cpp @@ -714,7 +714,7 @@ void Oracle::createDatabase() if (parts.size() == 1) return cost; - if (labels.getRef(stackHead-head) == parts[1]) + if (split(labels.getRef(stackHead-head), ':')[0] == split(parts[1], ':')[0]) return cost; return cost+1; @@ -749,7 +749,7 @@ void Oracle::createDatabase() if (parts.size() == 1) return cost; - if (labels.getRef(0) == parts[1]) + if (split(labels.getRef(0), ':')[0] == split(parts[1], ':')[0]) return cost; return cost+1;