diff --git a/src/main.cpp b/src/main.cpp
index 6dc095f..8b9b0d2 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -19,6 +19,7 @@ int main(int argc, char** argv) {
    g.print();
 
    // TODO: Implement graph reduction and/or knot detection
+   printf("Graph is %s\n", g.reducible()?"not reducible (deadlock!)":"reducible (no deadlock!)");//?
 
    // TODO: Destroy the graph created by read_file
    return 0;