# HG changeset patch
# User haftmann
# Date 1264163909 -3600
# Node ID 478f31081a785ee7b98965757bf8b10a6eb20a93
# Parent  970e1466028d1788eec5e4d47a59faea97a922e1
more accurate dependencies

diff -r 970e1466028d -r 478f31081a78 src/HOL/IsaMakefile
--- 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 \