Updated changelog.

HarvardPL · Sep 22, 2020 · fa6953d · fa6953d
1 parent 28e0a49
commit fa6953d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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.