From a18c8e82ae36d19d7d8ec3d440e8e5a4446c2c5a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 20 Feb 2024 11:42:29 -0800 Subject: [PATCH] typo Signed-off-by: Nikolaj Bjorner --- src/ast/euf/euf_ac_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/euf/euf_ac_plugin.h b/src/ast/euf/euf_ac_plugin.h index 3c937ed5c..7da346dba 100644 --- a/src/ast/euf/euf_ac_plugin.h +++ b/src/ast/euf/euf_ac_plugin.h @@ -40,7 +40,7 @@ namespace euf { struct node { enode* n; // associated enode node* root; // path compressed root - node* next; // next in equaivalence class + node* next; // next in equivalence class justification j; // justification for equality node* target = nullptr; // justified next unsigned_vector shared; // shared occurrences