[flint] 01/02: Don't include directly g_lip.h which is considered internal

[Julien Puydt]

This is an automated email from the git hooks/post-receive script.

jpuydt-guest pushed a commit to branch master
in repository flint.

commit 90f71d0b9f32d02247c01c0080f5857a447d2f17
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Tue Aug 26 23:23:11 2014 +0200

    Don't include directly g_lip.h which is considered internal
---
 interfaces/NTL-interface.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/interfaces/NTL-interface.cpp b/interfaces/NTL-interface.cpp
index c95ca3c..7dd1bcb 100644
--- a/interfaces/NTL-interface.cpp
+++ b/interfaces/NTL-interface.cpp
@@ -34,7 +34,6 @@
 #include <NTL/mat_ZZ.h>
 #include <NTL/lip.h>
 #include <NTL/ctools.h>
-#include <NTL/g_lip.h>
 #include <gmp.h>
 
 #include "flint.h"

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git