diff --git a/demo-munch b/demo-munch
index 3dd4a6b5aef2db0788e393d9cba1c7ab72a90333..d523208364e68f025895bb6b036e06ff9641230f 100644
--- a/demo-munch
+++ b/demo-munch
@@ -1 +1 @@
-./scalac-funcheck -P:funcheck:extensions=multisets.Main testcases/MultisetOperations.scala
+./scalac-funcheck -P:funcheck:extensions=multisets.Main testcases/MultiExample.scala