From 16e20ced0b557e21431866c4362d1b1b3b674d00 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 May 2016 22:32:59 +0200
Subject: [PATCH] stub for jani parser

Former-commit-id: dec5bc961b01610ce190cdfd6e083425ae588aee
---
 src/parser/JaniParser.h | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 src/parser/JaniParser.h

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