From 6fa57cba4da49323303891b57cc8c917c8941ba0 Mon Sep 17 00:00:00 2001
From: Eric Mertens <emertens@galois.com>
Date: Tue, 1 Oct 2024 13:10:44 -0700
Subject: [PATCH] change log entry

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index 74b8a152c..7bbec3ef7 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -13,6 +13,10 @@
 
 ## New features
 
+* REPL command `:dumptests <FILE> <EXPR>` updated to write to stdout when
+  invoked as `:dumptests - <EXPR>` allowing for easier experimentation and
+  testing.
+
 # 3.2.0 -- 2024-08-20
 
 ## Language changes