fix related to struct initialization

suvamM · Apr 17, 2020 · 747f421 · 747f421
1 parent 61bdd71
commit 747f421
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Sources/SolToBoogie/ProcedureTranslator.cs b/Sources/SolToBoogie/ProcedureTranslator.cs
@@ -606,7 +606,8 @@ private BoogieStmtList GenerateInitializationStmts(ContractDefinition contract)
                 }
                 else if (varDecl.TypeName is UserDefinedTypeName structOrContract)
                 {
-                    GenerateInitializationForStructStateVar(varDecl, structOrContract);
+                    if (varDecl.TypeDescriptions.IsStruct())
+                        GenerateInitializationForStructStateVar(varDecl, structOrContract);
                 }
             }