diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-30 12:51:02 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:38 -0400 |
commit | fddd187f540cee675368813c0c1d51711a02fdc0 (patch) | |
tree | be6b4f6bdc731e13068d82cc31f32ccfa53bd4ab /src/theory/bv/theory_bv.h | |
parent | 95028e5424d08d2c921e6bb77320685e7161e736 (diff) |
Minor fixes, spelling etc.
Diffstat (limited to 'src/theory/bv/theory_bv.h')
-rw-r--r-- | src/theory/bv/theory_bv.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/bv/theory_bv.h b/src/theory/bv/theory_bv.h index 26ed8c296..683f002cf 100644 --- a/src/theory/bv/theory_bv.h +++ b/src/theory/bv/theory_bv.h @@ -105,7 +105,7 @@ private: /** - * Return the uinterpreted function symbol corresponding to division-by-zero + * Return the uninterpreted function symbol corresponding to division-by-zero * for this particular bit-width * @param k should be UREM or UDIV * @param width @@ -121,7 +121,7 @@ private: NodeSet d_staticLearnCache; /** - * Maps from bit-vector width to divison-by-zero uninterpreted + * Maps from bit-vector width to division-by-zero uninterpreted * function symbols. */ __gnu_cxx::hash_map<unsigned, Node> d_BVDivByZero; |