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