diff options
| author | David Bremner <david@tethera.net> | 2021-07-26 14:18:17 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2021-07-26 14:18:45 -0300 |
| commit | 05ab183959c26fa092298a9d78b1d632f6dc28c3 (patch) | |
| tree | 153793e3cace863ba72bb59e2d22364a9cb3d874 /rat2float.c | |
| parent | 488a4f1cee6bede9c2cfe138cd74bf4243df731c (diff) | |
move lrs_overflow int process_args.c
Probably process_args.{c,h} should be renamed to something like common.{c,h}
Diffstat (limited to 'rat2float.c')
| -rw-r--r-- | rat2float.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/rat2float.c b/rat2float.c index 2b23de8..8c6951b 100644 --- a/rat2float.c +++ b/rat2float.c @@ -47,12 +47,6 @@ void rattodouble(integer_t num, integer_t denom, double *out_p){ #else typedef lrs_mp integer_t; #define MP_DIGITS 1000L - -void -lrs_overflow (int ignored) { - fprintf (stderr, "lrs_overflow called. exiting\n"); - exit(1); -} #endif #include "rat2float.h" |