diff -r 2a0e24c74593 -r f1434532a562 doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml
--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml	Thu Jul 19 15:37:37 2007 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/class.ocaml	Thu Jul 19 21:47:34 2007 +0200
@@ -1,6 +1,3 @@
-module ROOT = 
-struct
-
 module Nat = 
 struct
 
@@ -25,5 +22,3 @@
   = head (null_optiona ()) [Some (Nat.Suc Nat.Zero_nat); None];;
 
 end;; (*struct Codegen*)
-
-end;; (*struct ROOT*)