Commit f7fe12ef authored by Maxime Perrotin's avatar Maxime Perrotin

Catch all exceptions

parent a6c1423b
......@@ -13,7 +13,6 @@ with Ada.Strings.Unbounded,
Locations,
Ocarina.Namet,
Ocarina.Types,
System.Assertions,
Ocarina.Analyzer,
Ocarina.Backends.Properties,
Ocarina.Configuration,
......@@ -1224,7 +1223,7 @@ procedure BuildSupport is
(ATN.Component_Type_Identifier
(Corresponding_Declaration (Tmp_CI2)))));
exception
when System.Assertions.Assert_Failure =>
when others =>
Put_Line
("Detected DV from TASTE version 1.2");
Bound_APLC_Name := US
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment