diff --git a/crates/flowistry/Cargo.toml b/crates/flowistry/Cargo.toml
index 1a9b17989..1959df35f 100644
--- a/crates/flowistry/Cargo.toml
+++ b/crates/flowistry/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry"
-version = "0.5.13"
+version = "0.5.14"
 edition = "2021"
 authors = ["Will Crichton <wcrichto@cs.stanford.edu>"]
 description = "Modular information flow analysis"
diff --git a/crates/flowistry_ide/Cargo.toml b/crates/flowistry_ide/Cargo.toml
index 8847e956f..9e5ba14c4 100644
--- a/crates/flowistry_ide/Cargo.toml
+++ b/crates/flowistry_ide/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry_ide"
-version = "0.5.13"
+version = "0.5.14"
 edition = "2021"
 authors = ["Will Crichton <wcrichto@cs.stanford.edu>"]
 description = "Information Flow in the IDE for Rust"
@@ -14,7 +14,7 @@ rustc_private = true
 decompose = ["petgraph", "rayon"]
 
 [dependencies]
-flowistry = {version = "0.5.13", path = "../flowistry"}
+flowistry = {version = "0.5.14", path = "../flowistry"}
 anyhow = "1"
 log = "0.4"
 fluid-let = "1.0"
diff --git a/crates/flowistry_ifc/Cargo.toml b/crates/flowistry_ifc/Cargo.toml
index e571bba55..e17ab63bc 100644
--- a/crates/flowistry_ifc/Cargo.toml
+++ b/crates/flowistry_ifc/Cargo.toml
@@ -1,10 +1,10 @@
 [package]
 name = "flowistry_ifc"
-version = "0.5.13"
+version = "0.5.14"
 edition = "2021"
 
 [dependencies]
-flowistry = {version = "0.5.13", path = "../flowistry"}
+flowistry = {version = "0.5.14", path = "../flowistry"}
 env_logger = "0.9"
 termcolor = "1.1"
 anyhow = "1"
\ No newline at end of file
diff --git a/crates/flowistry_ifc_traits/Cargo.toml b/crates/flowistry_ifc_traits/Cargo.toml
index a67c0fbcd..75ca65c27 100644
--- a/crates/flowistry_ifc_traits/Cargo.toml
+++ b/crates/flowistry_ifc_traits/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "flowistry_ifc_traits"
-version = "0.5.13"
+version = "0.5.14"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
diff --git a/ide/package.json b/ide/package.json
index 1d0d0417d..41a852afe 100644
--- a/ide/package.json
+++ b/ide/package.json
@@ -12,7 +12,7 @@
     "type": "git"
   },
   "description": "Information Flow in the IDE for Rust",
-  "version": "0.5.13",
+  "version": "0.5.14",
   "engines": {
     "vscode": "^1.54.0"
   },