simplification: fix comment on remove constraints

kframework · May 5, 2020 · 38977ab · 38977ab
1 parent f4b143b
commit 38977ab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prover/strategies/simplification.md b/prover/strategies/simplification.md
@@ -563,7 +563,7 @@ We define a similar strategy for quantified implication contexts:
   rule removeTrivialEqualities(P, Ps) => P, removeTrivialEqualities(Ps) [owise]
 ```
 
-### Substitute Equals for equals
+### Remove constraints
 
 ```
       PHI /\ C => PSI