← Back to team overview

fiat team mailing list archive

Thread
Date

made some changes to take out compiler warnings [...]

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Mon, 29 Aug 2005 21:09:04 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2005-08-29 21:09 CEST)
-----------------

made some changes to take out compiler warnings
-- STL size() functions return unsigned int
-- added virtual do-nothing destructors to PtMap hierarchy

  fiat++  src/FIAT_functional.hpp  1.2
  fiat++  src/FIAT_polynomial.hpp  1.2
  fiat++  src/FIAT_shapes.hpp      1.2