From b4ad80f9b9236d38f95fd99fc44d3748e1ed4670 Mon Sep 17 00:00:00 2001
From: Ruzica Piskac <rpiskac@gmail.com>
Date: Fri, 16 Jul 2010 14:09:44 +0000
Subject: [PATCH] munch demo

---
 demo-munch | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 demo-munch

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