From 7c5038f0500346cdfaf7bffa8f5b748ee89e6e97 Mon Sep 17 00:00:00 2001
From: Marco Antognini <antognini.marco@gmail.com>
Date: Fri, 20 Nov 2015 22:44:21 +0100
Subject: [PATCH] Remove extra const-qualifiers
---
src/main/scala/leon/genc/CAST.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/genc/CAST.scala b/src/main/scala/leon/genc/CAST.scala
index 9baa9d869..253354acf 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)
--
GitLab