diff options
Diffstat (limited to 'sources/examples/pilib/twoPlaceBuffer.scala')
| -rw-r--r-- | sources/examples/pilib/twoPlaceBuffer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/examples/pilib/twoPlaceBuffer.scala b/sources/examples/pilib/twoPlaceBuffer.scala index ad0ab60307..670c879ce6 100644 --- a/sources/examples/pilib/twoPlaceBuffer.scala +++ b/sources/examples/pilib/twoPlaceBuffer.scala @@ -1,7 +1,7 @@ import scala.concurrent.pilib._; /** Two-place buffer specification and implementation. */ -object twoPlaceBuffer with Executable { +object twoPlaceBuffer with Application { /** * Specification. |