diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
| commit | fd6af9181e763cd9564245114cfa47f3952484db (patch) | |
| tree | 0b058ad4e0624f1bf11ed9c65d63a4cfbdbdc66e /src/util/rational.h | |
| parent | 968f250b473d97db537aa7628bf111d15a2db299 (diff) | |
Merging the statistics branch into the main trunk. I'll go over how to use this Tuesday during the meeting. You'll need to run autogen and receonfigure after updating.
Diffstat (limited to 'src/util/rational.h')
| -rw-r--r-- | src/util/rational.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/rational.h b/src/util/rational.h index 81e0f7fbd..feca66da1 100644 --- a/src/util/rational.h +++ b/src/util/rational.h @@ -2,8 +2,8 @@ /*! \file rational.h ** \verbatim ** Original author: taking - ** Major contributors: cconway - ** Minor contributors (to current version): dejan, mdeters + ** Major contributors: none + ** Minor contributors (to current version): dejan, mdeters, cconway ** This file is part of the CVC4 prototype. ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences |