diff options
Diffstat (limited to 'sucl/loop.dcl')
| -rw-r--r-- | sucl/loop.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sucl/loop.dcl b/sucl/loop.dcl index 56f0a37..f4821fe 100644 --- a/sucl/loop.dcl +++ b/sucl/loop.dcl @@ -1,5 +1,7 @@ definition module loop +// $Id$ + from strat import Strategy from spine import Answer from trace import Trace |