# HG changeset patch
# User haftmann
# Date 1280135457 -7200
# Node ID f36980b37af56e4ec421bf695aa76433807cb024
# Parent  3bf1fffcdd4824ac3bef2f276af48e43583f8598
reactivated Scala check

diff -r 3bf1fffcdd48 -r f36980b37af5 src/HOL/Imperative_HOL/Imperative_HOL_ex.thy
--- a/src/HOL/Imperative_HOL/Imperative_HOL_ex.thy	Mon Jul 26 11:10:36 2010 +0200
+++ b/src/HOL/Imperative_HOL/Imperative_HOL_ex.thy	Mon Jul 26 11:10:57 2010 +0200
@@ -14,6 +14,6 @@
   Array.upd, Array.map_entry, Array.swap, Array.freeze,
   ref, Ref.lookup, Ref.update, Ref.change)"
 
-export_code everything checking SML SML_imp OCaml? OCaml_imp? Haskell? (*Scala?*)
+export_code everything checking SML SML_imp OCaml? OCaml_imp? Haskell? Scala?
 
 end