diff --git a/tools/divcheck.cpp b/tools/divcheck.cpp
index af8135efa0d6fc4f9c42f1f02030f1b2ce66b125..6a015a4b884857d1c739a01a090f4ac3d9469a29 100644
--- a/tools/divcheck.cpp
+++ b/tools/divcheck.cpp
@@ -20,3 +20,8 @@ catch ( divine::ui::ResourceLimit &e )
     std::cerr << "E: " << e.what() << std::endl;
     return 202; /* indicate resource exhausted */
 }
+catch ( divcheck::Wrong &w )
+{
+    std::cerr << "E: " << w.what() << std::endl;
+    return 1;
+}