From 694e4f581b33cc6aea26b91e2484510fe249703e Mon Sep 17 00:00:00 2001
From: =?utf8?q?G=C3=B6tz=20Lindenmaier?= <goetz@ipd.info.uni-karlsruhe.de>
Date: Thu, 13 Mar 2003 09:01:33 +0000
Subject: [PATCH] Removed gmp.h

[r880]
---
 testprograms/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testprograms/Makefile.in b/testprograms/Makefile.in
index 4fb47d711..5c58db8c2 100644
--- a/testprograms/Makefile.in
+++ b/testprograms/Makefile.in
@@ -34,7 +34,7 @@ CPPFLAGS += -I$(top_srcdir)/ir/adt -I$(top_srcdir)/ir/common -I$(top_srcdir)/ir/
 		-I$(top_srcdir)/ir/tv -I$(top_srcdir)/ir/st  -I$(top_srcdir)/ir/ana
 
 LDFLAGS += -L$(topdir)
-LDLIBS += -lfirm -lgmp -liberty
+LDLIBS += -lfirm -liberty
 
 GENFILES := $(bin_EXAMPLES) *.vcg
 
-- 
2.20.1