# HG changeset patch
# User wenzelm
# Date 1267307545 -3600
# Node ID 980d4194a212a9ee50b5894a0fee88a4ccf5cd63
# Parent  1f1a1987428a51c0c4fda271366fe0a15bd2bf09
use existing Typ_Graph;

diff -r 1f1a1987428a -r 980d4194a212 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