← Back to team overview

fiat team mailing list archive

Thread
Date

Updated P0.py to fix problem with entity_ids in vector-valued case.

To: fiat-dev@xxxxxxxxxx
From: fiat@xxxxxxxxxx
Date: Mon, 06 Jun 2005 20:39:04 +0200
Sender: "Robert C. Kirby" <kirby@xxxxxxxxxx>

Commit from kirby (2005-06-06 20:39 CEST)
-----------------

Updated P0.py to fix problem with entity_ids in vector-valued case.

  fiat  FIAT/P0.py  1.3