From f404bef4ba027021df0437e78ffe44d510e10de8 Mon Sep 17 00:00:00 2001 From: CEisenhofer Date: Thu, 5 Mar 2026 19:08:17 +0100 Subject: [PATCH] Fixed CoPilot comment --- src/smt/seq/seq_nielsen.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp index bb418be22..213282831 100644 --- a/src/smt/seq/seq_nielsen.cpp +++ b/src/smt/seq/seq_nielsen.cpp @@ -1546,7 +1546,7 @@ namespace seq { // ----------------------------------------------------------------------- // Modifier: apply_gpower_intr - // Generalized power introduction: for a variable x matched against a + // Ground power introduction: for a variable x matched against a // ground repeated pattern, introduce x = base^n ยท prefix with fresh n. // Approximated: for each non-trivial equation with a variable head vs // a ground concatenation, introduce power decomposition.