diff --git a/compiler/driver.ml b/compiler/driver.ml
index b79cd489..2e63c382 100644
--- a/compiler/driver.ml
+++ b/compiler/driver.ml
@@ -356,7 +356,7 @@ let driver source_file (options : Cli.options) : int =
                 p.Plugin.apply ~source_file ~output_file ~scope:options.ex_scope
                   prgm type_ordering
               | (`Python | `Scalc | `Plugin (Plugin.Scalc _)) as backend -> (
-                let prgm = Scalc.From_lambda.translate_program prgm in
+                let prgm = Scalc.From_lcalc.translate_program prgm in
                 match backend with
                 | `Scalc ->
                   let _output_file, with_output = get_output_format () in
diff --git a/compiler/scalc/from_lambda.ml b/compiler/scalc/from_lcalc.ml
similarity index 100%
rename from compiler/scalc/from_lambda.ml
rename to compiler/scalc/from_lcalc.ml
diff --git a/compiler/scalc/from_lcalc.mli b/compiler/scalc/from_lcalc.mli
new file mode 100644
index 00000000..f589cd25
--- /dev/null
+++ b/compiler/scalc/from_lcalc.mli
@@ -0,0 +1,19 @@
+(* This file is part of the Catala compiler, a specification language for tax
+   and social benefits computation rules. Copyright (C) 2021 Inria, contributor:
+   Louis Gesbert <louis.gesbert@inria.fr>
+
+   Licensed under the Apache License, Version 2.0 (the "License"); you may not
+   use this file except in compliance with the License. You may obtain a copy of
+   the License at
+
+   http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+   WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
+   License for the specific language governing permissions and limitations under
+   the License. *)
+
+open Shared_ast
+
+val translate_program : untyped Lcalc.Ast.program -> Ast.program