Subject: [FIAT-dev] made some changes to take out compiler warnings [...]

From: [email-masked]
Date: Mon, 29 Aug 2005 21:09:04 +0200

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