better name
[libfirm] / ir / be / test / Hanoi.c
index 42b7894..ad50d50 100644 (file)
@@ -83,4 +83,6 @@ int main(int argc, char *argv[]) {
   //<< "Total #moves: " << p.moves << "\n";
   // hanoi(28) = 268435455
   printf(" number of moves : %d\n", moves);
+
+  return 0;
 }