From 316a3a800bd6d8acfc2ec66fe08ae4c0e23a9116 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Thu, 26 Mar 2015 12:55:08 +0100
Subject: [PATCH] Ignore/disable Oracle class that is now mostly unused
---
library/lang/synthesis/Oracle.scala | 3 +++
1 file changed, 3 insertions(+)
diff --git a/library/lang/synthesis/Oracle.scala b/library/lang/synthesis/Oracle.scala
index 34867e3f9..ac345d990 100644
--- a/library/lang/synthesis/Oracle.scala
+++ b/library/lang/synthesis/Oracle.scala
@@ -8,6 +8,7 @@ import leon.lang._
import scala.annotation._
@implicitNotFound("No Oracle available for this source of non-determinism, please provide an implicit arg <: Oracle[T]")
+@ignore
@library
abstract class Oracle[T] {
def head: T = this match {
@@ -26,5 +27,7 @@ abstract class Oracle[T] {
}
}
+@ignore
case class Node[T](l: Oracle[T], v: T, r: Oracle[T]) extends Oracle[T];
+@ignore
case class Leaf[T](v: T) extends Oracle[T];
--
GitLab