# HG changeset patch
# User haftmann
# Date 1279533342 -7200
# Node ID 443909380077d9fbfb62d43042b75b82fe2c4a30
# Parent  d016aaead7a2a4116ded3f4e3b25733f7c05eaa8
check code generation for Scala

diff -r d016aaead7a2 -r 443909380077 src/HOL/Imperative_HOL/ex/Linked_Lists.thy
--- a/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 19 11:55:42 2010 +0200
+++ b/src/HOL/Imperative_HOL/ex/Linked_Lists.thy	Mon Jul 19 11:55:42 2010 +0200
@@ -1014,6 +1014,6 @@
 ML {* @{code test_2} () *}
 ML {* @{code test_3} () *}
 
-export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell?
+export_code test_1 test_2 test_3 checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala?
 
 end