src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 27860 5125b3c1efc2
parent 27828 edafacb690a3
child 27865 27a8ad9612a3
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Aug 13 20:57:33 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Aug 13 20:57:35 2008 +0200
     1.3 @@ -353,7 +353,7 @@
     1.4  in
     1.5  
     1.6  fun setup_present_hook () =
     1.7 -  Present.add_hook (fn _ => fn res => tell_thm_deps (maps #2 res));
     1.8 +  ProofDisplay.add_hook (fn res => tell_thm_deps (maps #2 res));
     1.9  
    1.10  end;
    1.11