Version update for release. (#445)

checkedc · May 7, 2021 · c22f023 · c22f023
1 parent 625aac1
commit c22f023
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spec/bounds_safety/checkedc.tex b/spec/bounds_safety/checkedc.tex
@@ -187,7 +187,7 @@
 \vspace{1in}
 {\huge Extending C with bounds safety and improved type safety\par}
 %{Version 0.7.1 (June 8, 2018) \par}
-{Version 0.8 - Draft as of \today \par}
+{Version 0.9 - Draft as of \today \par}
 \vspace{0.25in}
 {Checked C Technical Report Number 1 \par}
 \vspace{0.125in}