Fix typo: "exectured" → "executed"

diff --git a/sage/group_prover.sage b/sage/group_prover.sage
index ab580c5b23bbf786f41757b8a3800958db37c7a7..68882e93659af62ff21602d2efbc743465348345 100644 (file)
--- a/sage/group_prover.sage
+++ b/sage/group_prover.sage
@@ -17,7 +17,7 @@
 #   - A constraint describing the requirements of the law, called "require"
 # * Implementations are transliterated into functions that operate as well on
 #   algebraic input points, and are called once per combination of branches
-#   exectured. Each execution returns:
+#   executed. Each execution returns:
 #   - A constraint describing the assumptions this implementation requires
 #     (such as Z1=1), called "assumeFormula"
 #   - A constraint describing the assumptions this specific branch requires,