From e4af9297b6d1165cb4e21a094616665e389cebca Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 29 Jun 2013 19:59:58 +0000
Subject: [PATCH] Missing package-info.java.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6982 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/package-info.java | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 prism/src/param/package-info.java

diff --git a/prism/src/param/package-info.java b/prism/src/param/package-info.java
new file mode 100644
index 00000000..276e529a
--- /dev/null
+++ b/prism/src/param/package-info.java
@@ -0,0 +1,4 @@
+/**
+ * Classes for parametric model checking.
+ */
+package param;