lrsgmp.c | 2 1 + 1 - 0 !
lrsgmp.h | 5 0 + 5 - 0 !
lrslib.c | 49 37 + 12 - 0 !
lrslib.h | 22 0 + 22 - 0 !
lrslong.h | 5 0 + 5 - 0 !
lrsmp.h | 5 0 + 5 - 0 !
6 files changed, 38 insertions(+), 50 deletions(-)

 [patch] make some symbols private.

These symbols are not intended to be used by clients of lrslib.

- make temp1, temp2, temp3 static
- make pushQ ptimes and get_time static
- make dict_count, dict_limit, cache_tries, cache_misses static
- convert cache_dict, check_cache, save_basis to static
- make signal handling routines private
- make get_time static
- make new_lrs_dic static
- remove declaration of ptimes from lrsgmp.h