From bcb0589ef4e7269ec1a9b4ecbf2643a5bf24ba22 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Sat, 29 Oct 2016 14:35:50 +0200
Subject: [PATCH] Added utility for changing a program's context
---
src/main/scala/inox/Program.scala | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/main/scala/inox/Program.scala b/src/main/scala/inox/Program.scala
index 0b28fca03..69ce0a7fc 100644
--- a/src/main/scala/inox/Program.scala
+++ b/src/main/scala/inox/Program.scala
@@ -47,4 +47,10 @@ trait Program { self =>
val symbols = self.symbols.withADTs(adts)
val ctx = self.ctx
}
+
+ def withContext(nctx: Context): Program { val trees: self.trees.type; val symbols: self.symbols.type } = new Program {
+ val trees: self.trees.type = self.trees
+ val symbols: self.symbols.type = self.symbols
+ val ctx = nctx
+ }
}
--
GitLab