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;