1 files changed, 24 insertions, 0 deletions
diff --git a/ic-reals-6.3/base/debug.c b/ic-reals-6.3/base/debug.c
new file mode 100644
index 0000000..385941c
--- /dev/null
+++ b/ic-reals-6.3/base/debug.c
@@ -0,0 +1,24 @@
+/*
+ * Copyright (C) 2000, Imperial College
+ *
+ * This file is part of the Imperial College Exact Real Arithmetic Library.
+ * See the copyright notice included in the distribution for conditions
+ * of use.
+ */
+
+#include <stdarg.h>
+#include <stdio.h>
+
+/*
+ * A small utility for procedures to write debug information.
+ */
+void
+debugp(char *proc, char *fmt, ...)
+{
+	va_list ap;
+
+	va_start(ap, fmt);
+	fprintf(stderr, "%-35s", proc);
+	vfprintf(stderr, fmt, ap);
+	va_end(ap);
+}