diff options
Diffstat (limited to 'sources/examples/pilib/piNat.scala')
| -rw-r--r-- | sources/examples/pilib/piNat.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/examples/pilib/piNat.scala b/sources/examples/pilib/piNat.scala index 2d34f90100..137c0e5e6a 100644 --- a/sources/examples/pilib/piNat.scala +++ b/sources/examples/pilib/piNat.scala @@ -89,3 +89,4 @@ object piNat with Application { >; } + |