diff options
Diffstat (limited to 'src/mem/protocol/MI_example-dir.sm')
| -rw-r--r-- | src/mem/protocol/MI_example-dir.sm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/mem/protocol/MI_example-dir.sm b/src/mem/protocol/MI_example-dir.sm index 87ed57919..f0d85cba8 100644 --- a/src/mem/protocol/MI_example-dir.sm +++ b/src/mem/protocol/MI_example-dir.sm @@ -28,9 +28,9 @@ */ machine(Directory, "Directory protocol") -: DirectoryMemory * directory, - MemoryControl * memBuffer, - Cycles directory_latency = 12 +: DirectoryMemory * directory; + MemoryControl * memBuffer; + Cycles directory_latency := 12; { MessageBuffer forwardFromDir, network="To", virtual_network="3", ordered="false", vnet_type="forward"; |