From 1d71e7b34c150ab532899645ebf0dc5b662dfbcc Mon Sep 17 00:00:00 2001
From: Mirco Dotta <mirco.dotta@gmail.com>
Date: Tue, 14 Jul 2009 13:17:05 +0000
Subject: [PATCH] renamed file so that ant doesn't try to compile it (the
 example should be updated so that it uses ScalaPure, the Scala functional
 subset that we use for FunCheck).

---
 examples/funpm/logic/{DPLL.scala => DPLL.scalac} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename examples/funpm/logic/{DPLL.scala => DPLL.scalac} (100%)

diff --git a/examples/funpm/logic/DPLL.scala b/examples/funpm/logic/DPLL.scalac
similarity index 100%
rename from examples/funpm/logic/DPLL.scala
rename to examples/funpm/logic/DPLL.scalac
-- 
GitLab