Subject: [FIAT-dev] Added patch from Garth to fix indentation.

From: [email-masked]
Date: Mon, 01 May 2006 21:11:30 +0200

Commit from kirby (2006-05-01 21:11 CEST)
-----------------

Added patch from Garth to fix indentation.

  fiat  FIAT/polynomial.py  1.10