--- a/cws/cw05.tex	Mon Jan 10 23:52:51 2022 +0000
+++ b/cws/cw05.tex	Thu Jan 20 08:58:38 2022 +0000
@@ -108,13 +108,13 @@
                ty: String, body: Exp) extends Decl
 case class Main(e: Exp) extends Decl
 case class Const(name: String, v: Int) extends Decl
-case class FConst(name: String, x: Float) extends Decl
+case class FConst(name: String, x: Double) extends Decl
 
 case class Call(name: String, args: List[Exp]) extends Exp
 case class If(a: BExp, e1: Exp, e2: Exp) extends Exp
 case class Var(s: String) extends Exp
 case class Num(i: Int) extends Exp     // integer numbers
-case class FNum(i: Float) extends Exp  // floating numbers
+case class FNum(i: Double) extends Exp  // floating numbers
 case class ChConst(c: Int) extends Exp // char constants
 case class Aop(o: String, a1: Exp, a2: Exp) extends Exp
 case class Sequence(e1: Exp, e2: Exp) extends Exp