From 1797f8610106d7a4a0b20523a2860e73a9f985cb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Wed, 17 Apr 2019 10:29:52 +0100
Subject: Add changes for -set

I realized this was missing just as the PR got merged
---
 CHANGES.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index ce8a787cd1..d441200890 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -227,6 +227,8 @@ Tools
   `coqc`/`make` as well as printing to stdout, on both python2 and
   python3.
 
+- Coq options can be set on the command line, eg `-set "Universe Polymorphism=true"`
+
 Standard Library
 
 - Added lemmas about monotonicity of `N.double` and `N.succ_double`, and about
-- 
cgit v1.2.3