# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1370015433 -7200
# Node ID 2347dff780c8b4e86f3b1874bcccb60d8abd744b
# Parent  cf55b1438731c86fd8327744cccd2b4627f09613
tuned

diff -r cf55b1438731 -r 2347dff780c8 test/Tools/isac/Knowledge/gcd_poly.sml
--- a/test/Tools/isac/Knowledge/gcd_poly.sml	Fri May 31 17:49:34 2013 +0200
+++ b/test/Tools/isac/Knowledge/gcd_poly.sml	Fri May 31 17:50:33 2013 +0200
@@ -391,7 +391,7 @@
 "----------- fun gcd_up ---------------------------------";
 "----------- fun gcd_up ---------------------------------";
 "----------- fun gcd_up ---------------------------------";
-(* output from changeset 
+(* output from changeset cf55b1438731
 try_new_prime_up: a = [~18, ~15, ~20, 12, 20, ~13, 2], b = [8, 28, 22, ~11, ~14, 1, 2], 
 d = 2, M = 10240, P = 12597, g = [~1, 1, ~1], p = 19 
 try_new_prime_up 1 -----> [~1, 1, ~1] *)
@@ -402,7 +402,7 @@
 if try_new_prime_up a b d M P g p = [~1, 1, ~1] 
   then () else error "try_new_prime_up changed";
 
-(* output from changeset 
+(* output from changeset cf55b1438731
 try_new_prime_up: a = [~18, ~15, ~20, 12, 20, ~13, 2], b = [8, 28, 22, ~11, ~14, 1, 2], 
 d = 2, M = 10240, P = 96577, g = [~4, ~2, 2], p = 23 
 try_new_prime_up 1 -----> [~4, ~2, 2] *)