From e6378deefc455a3d3ea9fbb2786d6c39d2ea4cf5 Mon Sep 17 00:00:00 2001
From: Yann Hamdaoui <yann.hamdaoui@gmail.com>
Date: Mon, 16 Nov 2020 11:42:15 +0100
Subject: [PATCH] Fix substitution for interpolated expressions

---
 src/eval.rs | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/eval.rs b/src/eval.rs
index 92cd5d53..bc69464a 100644
--- a/src/eval.rs
+++ b/src/eval.rs
@@ -637,12 +637,10 @@ fn subst(rt: RichTerm, global_env: &Environment, env: &Environment) -> RichTerm
                     .into_iter()
                     .map(|chunk| match chunk {
                         chunk @ StrChunk::Literal(_) => chunk,
-                        StrChunk::Expr(t) => StrChunk::Expr(subst_(
-                            t,
-                            global_env,
-                            env,
-                            Cow::Borrowed(bound.as_ref()),
-                        )),
+                        StrChunk::Expr(t, indent) => StrChunk::Expr(
+                            subst_(t, global_env, env, Cow::Borrowed(bound.as_ref())),
+                            indent,
+                        ),
                     })
                     .collect();