diff --git a/demo-munch b/demo-munch
new file mode 100644
index 0000000000000000000000000000000000000000..3dd4a6b5aef2db0788e393d9cba1c7ab72a90333
--- /dev/null
+++ b/demo-munch
@@ -0,0 +1 @@
+./scalac-funcheck -P:funcheck:extensions=multisets.Main testcases/MultisetOperations.scala