diff --git a/src/parser/JaniParser.h b/src/parser/JaniParser.h new file mode 100644 index 000000000..af73ed7f6 --- /dev/null +++ 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