stub for jani parser

Former-commit-id: dec5bc961b
9 years ago · 16e20ced0b
1 changed files with 8 additions and 0 deletions
--- a/src/parser/JaniParser.h
+++ b/src/parser/JaniParser.h
@ -0,0 +1,8 @@
 //
 // Created by Sebastian Junges on 18/05/16.
 //
 #ifndef STORM_JANIPARSER_H
 #define STORM_JANIPARSER_H
 #endif //STORM_JANIPARSER_H