Removed useless parentheses

phases/typecheck.ml

@@ -140,7 +140,7 @@ let rec typecheck node =
   | TypeCast (ctype, value, ann) ->
     let value = typecheck value in
     check_type_op [Bool; Int; Float] "typecast" value;
-    TypeCast (ctype, value, Type (ctype) :: ann)
+    TypeCast (ctype, value, Type ctype :: ann)
 
   (* Array allocation dimensions must have type int *)
   | Allocate (dec, dims, ann) ->