This include file had the slashes in the wrong way.

mCRL2org · Feb 26, 2024 · 3fd0436 · 3fd0436
1 parent 1b76de9
commit 3fd0436
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h b/libraries/pbes/include/mcrl2/pbes/pbesinst_lazy.h
@@ -26,7 +26,7 @@
 #include "mcrl2/pbes/rewriters/simplify_quantifiers_rewriter.h"
 #include "mcrl2/pbes/transformation_strategy.h"
 #include "mcrl2/pbes/transformations.h"
-#include "mcrl2\utilities\detail\container_utility.h"
+#include "mcrl2/utilities/detail/container_utility.h"
 
 #ifndef MCRL2_PBES_PBESINST_LAZY_H
 #define MCRL2_PBES_PBESINST_LAZY_H