← Back to team overview

fiat team mailing list archive

Thread
Date

fixed minor bug in public/private access

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Wed, 07 Sep 2005 21:06:25 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

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