From 61c08bdf82aabc0e6b5633eaccdbc68576184fe6 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Wed, 10 Nov 1999 23:44:58 +0000
Subject: [PATCH] - removed unnecessary include of ginac/ginac.h (only needed
 <iostream>)

---
 check/main.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/check/main.cpp b/check/main.cpp
index ef74535d..200c96d6 100644
--- a/check/main.cpp
+++ b/check/main.cpp
@@ -20,7 +20,8 @@
  */
 
 #include <stdexcept>
-#include <ginac/ginac.h>
+#include <iostream>
+
 #include "check.h"
 
 int main()
-- 
2.44.0