# Mark Huang <mlhuang@cs.princeton.edu>
# Copyright (C) 2006 The Trustees of Princeton University
#
-# $Id: SliceInstantiations.py,v 1.2 2006/10/03 19:27:28 mlhuang Exp $
+# $Id: SliceInstantiations.py 5574 2007-10-25 20:33:17Z thierry $
#
from PLC.Faults import *