close changelog

LPCIC · Oct 12, 2023 · 1f4798f · 1f4798f
1 parent 17ac31a
commit 1f4798f
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,12 @@
 # Changelog
 
-## UNRELEASED
+## [1.19.2] - 12/10/2023
+
+Requires Elpi 1.16.5 and Coq 8.18.
+
+### Misc
+
+- Fix `Elpi Export` broken when used from VsCoq2
 
 ### APIs
 

diff --git a/elpi-builtin.elpi b/elpi-builtin.elpi
@@ -1187,8 +1187,8 @@ type unix.process out_stream -> in_stream -> in_stream -> unix.process.
 % Environment can be left unspecified, defaults to the current process
 % environment.
 % This API only works reliably since OCaml 4.12.
-external pred unix.process.open i:string, i:list string, i:list string,
-				o:unix.process, o:diagnostic.
+external pred unix.process.open i:string, i:list string, i:list string, 
+                                o:unix.process, o:diagnostic.
 
 % [unix.process.close P Diagnostic] OCaml's Unix.close_process_full
 external pred unix.process.close i:unix.process, o:diagnostic.