Initializing master for next version.

[cvc5.git] / library_versions

diff --git a/library_versions b/library_versions
index 7c519729bd8326a52d8509c45b72cad3f5446659..865ea8d77b2cb1c26ee741bcf36093f8943685d5 100644 (file)
--- a/library_versions
+++ b/library_versions
@@ -55,3 +55,4 @@
 1\.3-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
 1\.3 libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
 1\.3\.1-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
+1\.4-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0