diff --git a/pub/src/frida2.cpp b/pub/src/frida2.cpp
index 548770e3f447c74072e416b1f7f44dca643508b2..008b7c4857be0fef6b4693ed996088bde95f89e4 100644
--- a/pub/src/frida2.cpp
+++ b/pub/src/frida2.cpp
@@ -590,6 +590,9 @@ int main()
         } catch( string& s ) {
             cerr << s << endl;
             NRead::clear();
+        } catch( ... ) {
+            cerr << "DOUBLE BUG: catched invalid exception\n";
+            NRead::clear();
         }
         time_cmd = ((double) (clock() - clock_cmd_i)) / CLOCKS_PER_SEC;
     } // end main command loop