diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-12-14 15:12:27 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-12-14 15:12:27 -0800 |
| commit | 0a5e63b5c4c851275cf8928cf9224857b61aa650 (patch) | |
| tree | 0272a5812f9aeb1a20efee303dd7077434500314 /src/theory/arith | |
| parent | a383b73fbb01acb8bc1726c6a1b61c8d1b214aae (diff) | |
Fixed typos.
Diffstat (limited to 'src/theory/arith')
| -rw-r--r-- | src/theory/arith/cut_log.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/cut_log.h b/src/theory/arith/cut_log.h index 6650e6680..5fd585588 100644 --- a/src/theory/arith/cut_log.h +++ b/src/theory/arith/cut_log.h @@ -216,7 +216,7 @@ public: int getUpId() const; /** - * Looks up a row id to the appropraite arith variable. + * Looks up a row id to the appropriate arith variable. * Be careful these are deleted in context during replay! * failure returns ARITHVAR_SENTINEL */ ArithVar lookupRowId(int rowId) const; |