diff --git a/bin/ctest.py b/bin/ctest.py
index 135ecfed38..3f7da2b9f8 100755
--- a/bin/ctest.py
+++ b/bin/ctest.py
@@ -307,9 +307,5 @@ def main():
 
 
 if __name__ == '__main__':
-  try:
-    main()
-  except Exception:
-    print "Got exception."
-    traceback.print_exc(file=sys.stdout)
+  main()