From 03170c8ab3a55813dd21e2cf352460d0f6825d68 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 9 Aug 2016 18:35:23 +0200
Subject: [PATCH] AbstractSymbols is now just a Printable
---
src/main/scala/inox/ast/Definitions.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index e29fa2762..4559bc702 100644
--- a/src/main/scala/inox/ast/Definitions.scala
+++ b/src/main/scala/inox/ast/Definitions.scala
@@ -84,7 +84,7 @@ trait Definitions { self: Trees =>
/** A wrapper for a program. For now a program is simply a single object. */
trait AbstractSymbols
- extends Tree
+ extends Printable
with TypeOps
with SymbolOps
with CallGraph
--
GitLab