From 9e1c7820b348c9ac5190ab4f792bf9f51765385e Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Mon, 11 Nov 2019 13:28:43 +0100 Subject: [PATCH] Fixed typo. --- src/test/storm-pars/storm-test.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/storm-pars/storm-test.cpp b/src/test/storm-pars/storm-test.cpp index 475932124..232e5eb22 100644 --- a/src/test/storm-pars/storm-test.cpp +++ b/src/test/storm-pars/storm-test.cpp @@ -1,5 +1,5 @@ #include "test/storm_gtest.h" -3#include "storm-pars/settings/ParsSettings.h" +#include "storm-pars/settings/ParsSettings.h" int main(int argc, char **argv) { storm::settings::initializeParsSettings("Storm-pars (Functional) Testing Suite", "test-pars");