diff -r 5c8cfaed32e6 -r 2b04504fcb69 src/Tools/Code_Generator.thy --- a/src/Tools/Code_Generator.thy Tue Jun 23 12:09:14 2009 +0200 +++ b/src/Tools/Code_Generator.thy Tue Jun 23 12:09:30 2009 +0200 @@ -9,12 +9,12 @@ uses "~~/src/Tools/value.ML" "~~/src/Tools/quickcheck.ML" - "~~/src/Tools/code/code_preproc.ML" - "~~/src/Tools/code/code_thingol.ML" - "~~/src/Tools/code/code_printer.ML" - "~~/src/Tools/code/code_target.ML" - "~~/src/Tools/code/code_ml.ML" - "~~/src/Tools/code/code_haskell.ML" + "~~/src/Tools/Code/code_preproc.ML" + "~~/src/Tools/Code/code_thingol.ML" + "~~/src/Tools/Code/code_printer.ML" + "~~/src/Tools/Code/code_target.ML" + "~~/src/Tools/Code/code_ml.ML" + "~~/src/Tools/Code/code_haskell.ML" "~~/src/Tools/nbe.ML" begin