Add PR #1176 to the changelog

FStarLang · Aug 7, 2017 · 415a1ee · 415a1ee
1 parent d57f492
commit 415a1ee
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -28,3 +28,10 @@ Guidelines for the changelog:
   Code that relied on undefined behavior is unsafe, but it can be extracted
   using `assume` or
   `admit`.
+
+## C Extraction
+
+* [PR #1176](https://github.com/FStarLang/FStar/pull/1176)
+  `inline_for_extraction` on a type annotation will unfold it at extraction
+  time. This can help to reveal first-order code for C extraction;
+  see [FStarLang/kremlin #51](https://github.com/FStarLang/kremlin/issues/51).