merge from trunk

[plcapi.git] / PLC / SliceInstantiations.py

diff --git a/PLC/SliceInstantiations.py b/PLC/SliceInstantiations.py
index 843b327..db11838 100644 (file)
--- a/PLC/SliceInstantiations.py
+++ b/PLC/SliceInstantiations.py
@@ -4,7 +4,7 @@
 # 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 *