From 33d36a45ebba56b12aabd31c6ca1b49784485d43 Mon Sep 17 00:00:00 2001 From: Matthias Zenger Date: Mon, 12 Jan 2004 15:30:26 +0000 Subject: Replace class Executable with Application. --- sources/examples/pilib/piNat.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sources/examples/pilib/piNat.scala') diff --git a/sources/examples/pilib/piNat.scala b/sources/examples/pilib/piNat.scala index 5fd2dde385..b3364227c2 100644 --- a/sources/examples/pilib/piNat.scala +++ b/sources/examples/pilib/piNat.scala @@ -2,7 +2,7 @@ import scala.concurrent.pilib._; //import pilib._; /** Church encoding of naturals in the Pi-calculus */ -object piNat with Executable { +object piNat with Application { /** Locations of Pi-calculus natural */ class NatChan extends Chan[Triple[Chan[unit], Chan[NatChan], Chan[NatChan]]]; -- cgit v1.2.3