Remove the "exists" overrides from Program. (Fix bug #4360)

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 16d86c8ff1..cf2bb49271 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,6 +28,8 @@ Tactics
   "intros" automatically complete the introduction of its subcomponents, as the
   the disjunctive-conjunctive introduction patterns in non-terminal position
   already do.
+- Importing Program no longer overrides the "exists" tactic (potential source
+  of incompatibilities).
 
 API