1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGELOG b/CHANGELOG
index c26f389fc..bb96fb3c6 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -30,6 +30,7 @@ Yosys 0.17 .. Yosys 0.17-dev
 
  * Verific support
     - Proper file location for readmem commands
+    - Added "-vlog-libext" option to specify search extension for libraries
 
 Yosys 0.16 .. Yosys 0.17
 --------------------------