diff --git a/tl.lua b/tl.lua
index 7e0fdc861..657c78701 100644
--- a/tl.lua
+++ b/tl.lua
@@ -1,5 +1,5 @@
 local _tl_compat; if (tonumber((_VERSION or ''):match('[%d.]*$')) or 0) < 5.3 then local p, m = pcall(require, 'compat53.module'); if p then _tl_compat = m end end; local assert = _tl_compat and _tl_compat.assert or assert; local io = _tl_compat and _tl_compat.io or io; local ipairs = _tl_compat and _tl_compat.ipairs or ipairs; local load = _tl_compat and _tl_compat.load or load; local math = _tl_compat and _tl_compat.math or math; local os = _tl_compat and _tl_compat.os or os; local package = _tl_compat and _tl_compat.package or package; local pairs = _tl_compat and _tl_compat.pairs or pairs; local string = _tl_compat and _tl_compat.string or string; local table = _tl_compat and _tl_compat.table or table; local _tl_table_unpack = unpack or table.unpack
-local VERSION = "0.13.0+dev"
+local VERSION = "0.13.1"
 
 local tl = {TypeCheckOptions = {}, Env = {}, Symbol = {}, Result = {}, Error = {}, TypeInfo = {}, TypeReport = {}, TypeReportEnv = {}, }
 
diff --git a/tl.tl b/tl.tl
index a8dfe9f6f..50c1e5ef9 100644
--- a/tl.tl
+++ b/tl.tl
@@ -1,5 +1,5 @@
 
-local VERSION = "0.13.0+dev"
+local VERSION = "0.13.1"
 
 local record tl
    enum LoadMode