Subject: [FIAT-dev] fixed minor bug in public/private access

From: [email-masked]
Date: Wed, 07 Sep 2005 21:06:25 +0200

Commit from kirby (2005-09-07 21:06 CEST)
-----------------

fixed minor bug in public/private access

  fiat++  src/FIAT_functional.hpp  1.6
  fiat++  src/FIAT_la.hpp          1.4
  fiat++  src/FIAT_polynomial.hpp  1.5