File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -44,36 +44,36 @@ int main(int argc, char** argv)
44
44
{
45
45
cerr << " SMT logic error:" << endl;
46
46
cerr << boost::diagnostic_information (_exception);
47
- return 1 ;
47
+ return 2 ;
48
48
}
49
49
catch (langutil::UnimplementedFeatureError const & _exception)
50
50
{
51
51
cerr << " Unimplemented feature:" << endl;
52
52
cerr << boost::diagnostic_information (_exception);
53
- return 1 ;
53
+ return 2 ;
54
54
}
55
55
catch (langutil::InternalCompilerError const & _exception)
56
56
{
57
57
cerr << " Internal compiler error:" << endl;
58
58
cerr << boost::diagnostic_information (_exception);
59
- return 1 ;
59
+ return 2 ;
60
60
}
61
61
catch (boost::exception const & _exception)
62
62
{
63
63
cerr << " Uncaught exception:" << endl;
64
64
cerr << boost::diagnostic_information (_exception) << endl;
65
- return 1 ;
65
+ return 2 ;
66
66
}
67
67
catch (std::exception const & _exception)
68
68
{
69
69
cerr << " Uncaught exception:" << endl;
70
70
cerr << boost::diagnostic_information (_exception) << endl;
71
- return 1 ;
71
+ return 2 ;
72
72
}
73
73
catch (...)
74
74
{
75
75
cerr << " Uncaught exception" << endl;
76
76
cerr << boost::current_exception_diagnostic_information () << endl;
77
- return 1 ;
77
+ return 2 ;
78
78
}
79
79
}
You can’t perform that action at this time.
0 commit comments