src/HOL/IsaMakefile
changeset 34945 478f31081a78
parent 34228 bc0cea4cae52
child 34958 dcd0fa5cc6d3
--- a/src/HOL/IsaMakefile	Fri Jan 22 13:38:28 2010 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 22 13:38:29 2010 +0100
@@ -109,6 +109,7 @@
   $(SRC)/Tools/Code/code_ml.ML \
   $(SRC)/Tools/Code/code_preproc.ML \
   $(SRC)/Tools/Code/code_printer.ML \
+  $(SRC)/Tools/Code/code_scala.ML \
   $(SRC)/Tools/Code/code_target.ML \
   $(SRC)/Tools/Code/code_thingol.ML \
   $(SRC)/Tools/Code_Generator.thy \