Fix a bug that fails to initialize a variable

OpenAADL · Feb 6, 2021 · e0ad786 · e0ad786
1 parent 748811f
commit e0ad786
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/model/ocarina-analyzer-aadl-semantics.adb b/src/core/model/ocarina-analyzer-aadl-semantics.adb
@@ -2682,7 +2682,7 @@ package body Ocarina.Analyzer.AADL.Semantics is
 
       List_Node            : Node_Id;
       Types_Are_Compatible : Boolean;
-      Success              : Boolean;
+      Success              : Boolean := True;
    begin
 
       List_Node :=