1 files changed, 2 insertions, 1 deletions

diff --git a/seitan.c b/seitan.c
index fff820c..30772df 100644
--- a/seitan.c
+++ b/seitan.c
@@ -238,7 +238,8 @@ int main(int argc, char **argv)
 				/* The notifier fd was closed by the target */
 				running = false;
 			} else if (notifier == events[i].data.fd) {
-				eval(&g, req, notifier);
+				if (eval(&g, req, notifier) == -1 )
+					err("  an error occured during the evaluation");
 			}
 		}
 	}