Subject: [FIAT-dev] Fix shapes.dims[] --> shapes.dimension() bug in P0.

From: [email-masked]
Date: Tue, 12 Jul 2005 17:02:52 +0200

Commit from logg (2005-07-12 17:02 CEST)
----------------

Fix shapes.dims[] --> shapes.dimension() bug in P0.

  fiat  FIAT/P0.py  1.6