diff --git a/content/booklets/adacore-technologies-for-railway-software/references.bib b/content/booklets/adacore-technologies-for-railway-software/references.bib index 1fbb9faa..1e6f35d7 100644 --- a/content/booklets/adacore-technologies-for-railway-software/references.bib +++ b/content/booklets/adacore-technologies-for-railway-software/references.bib @@ -1,5 +1,3 @@ -.. Bibliography - @manual{AdaCore_2016, organization = {AdaCore}, title = {{High-Integrity Object-Oriented Programming in Ada, Version 1.4}},