src/HOL/Tools/Nitpick/nitpick_kodkod.ML

--- a/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Feb 27 22:52:06 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_kodkod.ML	Sat Feb 27 22:52:25 2010 +0100
@@ -55,7 +55,7 @@
 type nfa_entry = typ * nfa_transition list
 type nfa_table = nfa_entry list
 
-structure NfaGraph = Graph(type key = typ val ord = TermOrd.typ_ord)
+structure NfaGraph = Typ_Graph
 
 (* int -> KK.int_expr list *)
 fun flip_nums n = index_seq 1 n @ [0] |> map KK.Num