diff options
Diffstat (limited to 'src/uscxml/transform/ChartToPromela.cpp')
| -rw-r--r-- | src/uscxml/transform/ChartToPromela.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uscxml/transform/ChartToPromela.cpp b/src/uscxml/transform/ChartToPromela.cpp index a140386..48037c0 100644 --- a/src/uscxml/transform/ChartToPromela.cpp +++ b/src/uscxml/transform/ChartToPromela.cpp @@ -694,7 +694,7 @@ void ChartToPromela::writeVariables(std::ostream& stream) { if (allTypes.types.find(identifier) != allTypes.types.end()) { type = allTypes.types[identifier].name; } else { - LOG(ERROR) << "Automatic or no type for '" << identifier << "' but no type resolved"; + LOG(USCXML_ERROR) << "Automatic or no type for '" << identifier << "' but no type resolved"; continue; } } |