Mention that the generated code is C89 compliant

overturetool · May 2, 2017 · 539b0be · 539b0be
1 parent 6264595
commit 539b0be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/readme.md b/readme.md
@@ -2,7 +2,7 @@
 
 [![Build Status](https://build.overture.au.dk/jenkins/job/vdm2c/badge/icon)](https://build.overture.au.dk/jenkins/job/vdm2c/)
 
-The VDM2C project aims to develop a VDM-to-C translation that allows generated VDM specifications to be executed on smaller devices that have a C or C++ compiler available.
+The VDM2C project aims to develop a VDM-to-C translation that allows generated VDM specifications to be executed on smaller devices that have a C or C++ compiler available. The generated code is [C89](https://en.wikipedia.org/wiki/ANSI_C#C89) compliant.
 
 ## Installation