summaryrefslogtreecommitdiffhomepage
path: root/examples/equiv
diff options
context:
space:
mode:
Diffstat (limited to 'examples/equiv')
-rw-r--r--examples/equiv/equiv.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/equiv/equiv.cc b/examples/equiv/equiv.cc
index 326683e..896637d 100644
--- a/examples/equiv/equiv.cc
+++ b/examples/equiv/equiv.cc
@@ -4,7 +4,7 @@
licensed under the MIT license
*/
-#include <lib/equiv.hpp>
+#include <lib/logic/equiv.hpp>
#include <iostream>
/* finally test it */