From 8c39831d837d448e45e65aeeb32ba44724c290bf Mon Sep 17 00:00:00 2001 From: michelou Date: Tue, 15 Aug 2006 14:19:32 +0000 Subject: removed -Xgadt option in scalac man page. --- src/manual/scala/man1/scalac.scala | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/manual/scala/man1/scalac.scala b/src/manual/scala/man1/scalac.scala index ee40c72b77..9489e49de4 100644 --- a/src/manual/scala/man1/scalac.scala +++ b/src/manual/scala/man1/scalac.scala @@ -150,9 +150,6 @@ object scalac extends Command { Definition( CmdOption("Xshowicode"), "Print the generated ICode."), - Definition( - CmdOption("Xgadt"), - "Enable gadt for classes."), Definition( CmdOption("Xlinearizer", Argument("Xlinearizer")), SeqPara( -- cgit v1.2.3