doc-src/IsarAdvanced/Codegen/Thy/examples/collect_duplicates.ML

--- a/doc-src/IsarAdvanced/Codegen/Thy/examples/collect_duplicates.ML	Fri Jan 05 14:30:08 2007 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/examples/collect_duplicates.ML	Fri Jan 05 14:31:44 2007 +0100
@@ -13,7 +13,7 @@
 struct
 
 fun memberl (A_:'a Code_Generator.eq) x (y :: ys) =
-  (Code_Generator.op_eq A_ x y orelse memberl A_ x ys)
+  Code_Generator.op_eq A_ x y orelse memberl A_ x ys
   | memberl (A_:'a Code_Generator.eq) x [] = false;
 
 end; (*struct List*)