diff --git a/.gitignore b/.gitignore
index 78df591..f7ebb14 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,4 @@ rebar3.crashdump
 aesophia
 .qcci
 current_counterexample.eqc
+test/contracts/test.aes
diff --git a/src/aeso_compiler.erl b/src/aeso_compiler.erl
index 4a69687..dad3faa 100644
--- a/src/aeso_compiler.erl
+++ b/src/aeso_compiler.erl
@@ -244,8 +244,9 @@ check_call1(ContractString0, FunName, Args, Options) ->
             fate ->
                 %% First check the contract without the __call function
                 #{ fcode := OrgFcode
+                 , fcode_env := #{child_con_env := ChildContracts}
                  , ast := Ast } = string_to_code(ContractString0, Options),
-                FateCode = aeso_fcode_to_fate:compile(OrgFcode, []),
+                FateCode = aeso_fcode_to_fate:compile(ChildContracts, OrgFcode, []),
                 %% collect all hashes and compute the first name without hash collision to
                 SymbolHashes = maps:keys(aeb_fate_code:symbols(FateCode)),
                 CallName = first_none_match(?CALL_NAME, SymbolHashes,