From f06ae104dc3caf9b4ff01a0b2d49b09ace88faad Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 15 Feb 2013 11:19:08 -0500 Subject: Some cleanup and copyright updating * update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles --- src/theory/arith/delta_rational.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/arith/delta_rational.h') diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index 19a16d558..51c1e5138 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -249,7 +249,7 @@ public: } /** - * Computes a sufficient upperbound to seperate two DeltaRationals. + * Computes a sufficient upperbound to separate two DeltaRationals. * This value is stored in res. * For any rational d such that * 0 < d < res -- cgit v1.2.3