ratio

commit 30b65afa6daaa15e51f5096e3603a979e967b4cc
parent c6e99cf4336785ee4f3ef6b97a9562aa6944a2c8
Author: William Casarin <jb55@jb55.com>
Date:   Sun,  1 Oct 2017 01:37:50 -0700

remove cruft

Diffstat:
M
lexer.l
 | 
1
-
D
ratio.h
 | 
7
-------

2 files changed, 0 insertions(+), 8 deletions(-)
diff --git a/lexer.l b/lexer.l
@@ -3,7 +3,6 @@
 %{
 #include <stdio.h>
 #include <gmp.h>
-#include "ratio.h"
 
 #define YY_DECL int yylex()
 
diff --git a/ratio.h b/ratio.h
@@ -1,7 +0,0 @@
-#include <gmp.h>
-
-void fresh_ratio(mpq_t r);
-void fresh_bigint(mpz_t i);
-
-void note_mpq(const mpq_t a);
-void note_mpz(const mpz_t a);