Commit c495663a authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Generate C glue for VDM systems

parent 998b482e
Pipeline #1183 skipped
...@@ -702,7 +702,7 @@ void GLUE_C_Backend(FV * fv) ...@@ -702,7 +702,7 @@ void GLUE_C_Backend(FV * fv)
} }
if (c == fv->language || gui == fv->language || ada == fv->language if (c == fv->language || gui == fv->language || ada == fv->language || vdm == fv->language
|| qgenada == fv->language || qgenc == fv->language || qgenada == fv->language || qgenc == fv->language
|| rtds == fv->language || cpp == fv->language || opengeode == fv->language) { || rtds == fv->language || cpp == fv->language || opengeode == fv->language) {
Init_C_Glue_Backend(fv); Init_C_Glue_Backend(fv);
......
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