Module: ppl/ppl Branch: sparse_matrices Commit: 126ad84b5e29a0feb5d08344c79d5d7fe062d4d4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=126ad84b5e29a...
Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sun Dec 11 14:19:40 2011 +0100
Added missing inclusion.
---
src/Linear_Expression_Impl.defs.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/Linear_Expression_Impl.defs.hh b/src/Linear_Expression_Impl.defs.hh index 0d0e6e7..6a3be00 100644 --- a/src/Linear_Expression_Impl.defs.hh +++ b/src/Linear_Expression_Impl.defs.hh @@ -25,6 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_Linear_Expression_Impl_defs_hh 1
#include "Linear_Expression_Impl.types.hh" +#include "Congruence.types.hh" #include "Variable.defs.hh" #include "Variables_Set.defs.hh" #include <cstddef>