Fixed typo.

5 years ago · 9e1c7820b3
1 changed files with 1 additions and 1 deletions
--- 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");