diff --git a/src/main/scala/leon/genc/CAST.scala b/src/main/scala/leon/genc/CAST.scala index 9baa9d86948afb45fb2ef6109112fbb552d7a814..253354acf67063b90188aac5b839821684c8fb65 100644 --- a/src/main/scala/leon/genc/CAST.scala +++ b/src/main/scala/leon/genc/CAST.scala @@ -164,8 +164,8 @@ object CAST { // C Abstract Syntax Tree object Array { def apply(base: Type) = { val name = Id("__leon_array_" + base + "_t") - val data = Var(dataId, Const(Pointer(base))) - val length = Var(lengthId, Const(Int32)) + val data = Var(dataId, Pointer(base)) + val length = Var(lengthId, Int32) val fields = data :: length :: Nil Struct(name, fields)