# HG changeset patch
# User haftmann
# Date 1316036824 -7200
# Node ID 74b6ead3c3659b37963dca21c14a3fae3c3df880
# Parent  afcbf23508af5435a873ba56c376299905649f0e
updated comment

diff -r afcbf23508af -r 74b6ead3c365 src/HOL/Decision_Procs/Cooper.thy
--- a/src/HOL/Decision_Procs/Cooper.thy	Wed Sep 14 23:46:02 2011 +0200
+++ b/src/HOL/Decision_Procs/Cooper.thy	Wed Sep 14 23:47:04 2011 +0200
@@ -1871,11 +1871,9 @@
 
 ML {* @{code cooper_test} () *}
 
-(*
-code_reflect Cooper_Procedure
+(* code_reflect Cooper_Procedure
   functions pa
-  file "~~/src/HOL/Tools/Qelim/generated_cooper.ML"
-*)
+  file "~~/src/HOL/Tools/Qelim/cooper_procedure.ML" *)
 
 oracle linzqe_oracle = {*
 let