1 files changed, 7 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/medley/nussinov.c b/benchmarks/polybench-syn/medley/nussinov.c
index a2c3b70..fdd04a2 100644
--- a/benchmarks/polybench-syn/medley/nussinov.c
+++ b/benchmarks/polybench-syn/medley/nussinov.c
@@ -13,6 +13,10 @@ typedef int base;
 
 #include "../include/misc.h"
 
+#ifndef SYNTHESIS
+  #include <stdio.h>
+#endif
+
 #define plus(i) i = i + ONE
 static
 void init_array (int n,
@@ -50,6 +54,9 @@ int print_array(int n,
       res ^= table[i][j];
     }
   }
+#ifndef SYNTHESIS
+  printf("finished %u\n", res);
+#endif
   return res;
 }