Fix bugs and add a randomised testing

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 1 insertions, 1 deletions

diff --git a/zahl.h b/zahl.h
index 993d7b1..a5946fc 100644
--- a/zahl.h
+++ b/zahl.h
@@ -86,7 +86,7 @@ void zpowu(z_t, z_t, unsigned long long int);
 void zmodpowu(z_t, z_t, unsigned long long int, z_t);
 
 /* These are used internally and may be removed in a future version. */
-void zadd_unsigned(z_t, z_t, z_t);     /* a := |b| + |c|, b and c must not be the same reference. */
+void zadd_unsigned(z_t, z_t, z_t);     /* a := |b| + |c| */
 void zsub_unsigned(z_t, z_t, z_t);     /* a := |b| - |c| */