It compiles

[satune.git] / src / Test / testcnf.c

diff --git a/src/Test/testcnf.c b/src/Test/testcnf.c
index ddad6d7334c4fc048a4aef5206c69ea157814548..06b83bb171545ea44b58fd473465cb17d40738c6 100644 (file)
--- a/src/Test/testcnf.c
+++ b/src/Test/testcnf.c
@@ -1,4 +1,4 @@
-#include "nodeedge.h"
+#include "constraint.h"
 #include <stdio.h>
 
 int main(int numargs, char ** argv) {