From feaf463cafa16815e425f5e69eeaabddfbbb5167 Mon Sep 17 00:00:00 2001 From: Stefan Radomski Date: Tue, 25 Oct 2016 15:19:57 +0200 Subject: Still trying to fix build issues --- apps/uscxml-transform.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/uscxml-transform.cpp b/apps/uscxml-transform.cpp index 649b61b..e1c44c3 100644 --- a/apps/uscxml-transform.cpp +++ b/apps/uscxml-transform.cpp @@ -3,7 +3,7 @@ #include "uscxml/util/String.h" #include "uscxml/transform/ChartToC.h" #include "uscxml/transform/ChartToVHDL.h" -#include "uscxml/transform/ChartToPROMELA.h" +#include "uscxml/transform/ChartToPromela.h" #include -- cgit v0.12