From 37652e7e173d08110c0c8e135c7c5dc50d44d98c Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Fri, 20 Jan 2023 17:30:40 +0000 Subject: [PATCH] fix tactic name in docs --- src/tactic/arith/fm_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/arith/fm_tactic.h b/src/tactic/arith/fm_tactic.h index 7021dc273..8a40c0564 100644 --- a/src/tactic/arith/fm_tactic.h +++ b/src/tactic/arith/fm_tactic.h @@ -19,7 +19,7 @@ Use Fourier-Motzkin to eliminate variables. This strategy can handle conditional bounds (i.e., clauses with at most one constraint). -The strategy mk_occf can be used to put the +The tactic occf can be used to put the formula in OCC form. ### Example