# HG changeset patch
# User haftmann
# Date 1277803503 -7200
# Node ID 44d2fa8edcadd8e7f0d626007c48414ca67bf0b8
# Parent  1b09880d973430f0e8f56a0dae7345ac6149a3c7
adapted to change in interface

diff -r 1b09880d9734 -r 44d2fa8edcad doc-src/Codegen/Thy/ML.thy
--- a/doc-src/Codegen/Thy/ML.thy	Tue Jun 29 11:25:03 2010 +0200
+++ b/doc-src/Codegen/Thy/ML.thy	Tue Jun 29 11:25:03 2010 +0200
@@ -31,7 +31,7 @@
   @{index_ML Code_Preproc.del_functrans: "string -> theory -> theory"} \\
   @{index_ML Code.add_datatype: "(string * typ) list -> theory -> theory"} \\
   @{index_ML Code.get_type: "theory -> string
-    -> (string * sort) list * (string * typ list) list"} \\
+    -> (string * sort) list * ((string * string list) * typ list) list"} \\
   @{index_ML Code.get_type_of_constr_or_abstr: "theory -> string -> (string * bool) option"}
   \end{mldecls}