mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

typo

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-02-20 11:42:29 -08:00
parent 3eb42cdf4b
commit a18c8e82ae
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/euf/euf_ac_plugin.h
View file

@ -40,7 +40,7 @@ namespace euf {
struct node { struct node {
enode* n; // associated enode enode* n; // associated enode
node* root; // path compressed root node* root; // path compressed root
node* next; // next in equaivalence class node* next; // next in equivalence class
justification j; // justification for equality justification j; // justification for equality
node* target = nullptr; // justified next node* target = nullptr; // justified next
unsigned_vector shared; // shared occurrences unsigned_vector shared; // shared occurrences