added an extends VerificationModel

Belonging to [master]: - OpenModelica/OMCompiler#1971 - OpenModelica/OpenModelica-testsuite#759
OpenModelica · Feb 6, 2018 · 76bc17e · 76bc17e
1 parent 218f17f
commit 76bc17e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Compiler/Script/Binding.mo b/Compiler/Script/Binding.mo
@@ -117,6 +117,9 @@ algorithm
      for d in design_alts loop
 
         ag_elems := populateModel(s::d::reqs, 0 , {});
+        ag_elems := Absyn.ELEMENTITEM(Absyn.ELEMENT(false, NONE(), Absyn.NOT_INNER_OUTER(),
+        Absyn.EXTENDS(Absyn.QUALIFIED("VVDRlib",Absyn.QUALIFIED("Verification",Absyn.IDENT("VerificationModel"))), {},  NONE()),
+        Absyn.dummyInfo, NONE()))::ag_elems;
         autogen_class := Absyn.CLASS("verif_model_autogen_" + intString(i),
           false, false, false, Absyn.R_MODEL(),
           Absyn.PARTS({}, {}, {Absyn.PUBLIC(ag_elems)},{},