diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/sets/normal_form.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/sets/normal_form.h b/src/theory/sets/normal_form.h index d7c68a574..5c7218332 100644 --- a/src/theory/sets/normal_form.h +++ b/src/theory/sets/normal_form.h @@ -71,7 +71,7 @@ class NormalForm { << "[sets-checknormal] element = " << n[1][0] << " " << n[1][0].getId() << std::endl; if (n[1][0] >= prvs) return false; - TNode prvs = n[1][0]; + prvs = n[1][0]; n = n[0]; } |