From 3a1724f776a0585c750cc97e98692af0947854ab Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Mon, 20 Apr 2015 18:26:00 +0200
Subject: [PATCH] These functions should not appear in reports
---
library/lang/Map.scala | 1 +
library/lang/Set.scala | 1 +
2 files changed, 2 insertions(+)
diff --git a/library/lang/Map.scala b/library/lang/Map.scala
index 8df83e6e1..fec773142 100644
--- a/library/lang/Map.scala
+++ b/library/lang/Map.scala
@@ -2,6 +2,7 @@ package leon.lang
import leon.annotation._
object Map {
+ @library
def empty[A,B] = Map[A,B]()
}
diff --git a/library/lang/Set.scala b/library/lang/Set.scala
index dcedd1e0b..086b31988 100644
--- a/library/lang/Set.scala
+++ b/library/lang/Set.scala
@@ -2,6 +2,7 @@ package leon.lang
import leon.annotation._
object Set {
+ @library
def empty[T] = Set[T]()
}
--
GitLab