Changeset 52d9c58 in git

Timestamp:

Mar 25, 2014, 3:02:10 PM (10 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

a59c8180c210232bfecb93eed86069167077da88

Parents:

8a41255b60db55491ace4214f2cbcdbbc5bce853

Message:

Separating Headers kernel/gröbner_walk update 2

File:

• kernel/test.cc (modified) (1 diff)

kernel/test.cc

@@ -73 +73 @@
 #include <kernel/fast_maps.h>
 #include <kernel/febase.h>
-#include <kernel/walkProc.h>
+#include <kernel/groebner_walk/walkProc.h>
 #include <kernel/groebner_walk/walkMain.h>
-#include <kernel/walkSupport.h>
+#include <kernel/groebner_walk/walkSupport.h>
 #include <kernel/khstd.h>
 /// #include <kernel/sparsmat.h> // TODO: install polys/this!