added error handling to op()/let_op()
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 14 Oct 2004 19:36:45 +0000 (19:36 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 14 Oct 2004 19:36:45 +0000 (19:36 +0000)

No differences found