diff --git a/zokrates_core/src/static_analysis/constant_inliner.rs b/zokrates_core/src/static_analysis/constant_inliner.rs
index 9267ab6c..ad00d292 100644
--- a/zokrates_core/src/static_analysis/constant_inliner.rs
+++ b/zokrates_core/src/static_analysis/constant_inliner.rs
@@ -138,6 +138,11 @@ impl<'ast, T: Field> Folder<'ast, T> for ConstantInliner<'ast, T> {
         match c {
             // replace constants by their concrete value in declaration types
             DeclarationConstant::Constant(id) => {
+                let id = CanonicalConstantIdentifier {
+                    module: self.fold_module_id(id.module),
+                    ..id
+                };
+
                 DeclarationConstant::Concrete(match self.get_constant(&id).unwrap() {
                     TypedExpression::Uint(UExpression {
                         inner: UExpressionInner::Value(v),
diff --git a/zokrates_core/src/typed_absy/folder.rs b/zokrates_core/src/typed_absy/folder.rs
index d01e7e95..0dcab517 100644
--- a/zokrates_core/src/typed_absy/folder.rs
+++ b/zokrates_core/src/typed_absy/folder.rs
@@ -894,6 +894,7 @@ pub fn fold_declaration_function_key<'ast, T: Field, F: Folder<'ast, T>>(
     key: DeclarationFunctionKey<'ast>,
 ) -> DeclarationFunctionKey<'ast> {
     DeclarationFunctionKey {
+        module: f.fold_module_id(key.module),
         signature: f.fold_signature(key.signature),
         ..key
     }