diff --git a/changelog.md b/changelog.md
index ad833811..ae6dc653 100644
--- a/changelog.md
+++ b/changelog.md
@@ -11,6 +11,7 @@ All notable changes to this project will be documented in this file.
 - Ability to use alternate solvers (CVC4, Yices 2, Boolector).
 
 ### Changed
+- Accept .tsv fact files instead of .csv files.
 - Allow ML variables to be lowercase.
 - The `debugSmt` option logs SMT calls to separate files by solver, instead of
   printing them to same stream.