diff --git a/Smart_Induct/Evaluation/Format_Result/Format_Result_Smart_Induct.thy b/Smart_Induct/Evaluation/Format_Result/Format_Result_Smart_Induct.thy
index b9110599..1057a7db 100644
--- a/Smart_Induct/Evaluation/Format_Result/Format_Result_Smart_Induct.thy
+++ b/Smart_Induct/Evaluation/Format_Result/Format_Result_Smart_Induct.thy
@@ -2,7 +2,7 @@ theory Format_Result_Smart_Induct
   imports "PSL.PSL" "../../../SeLFiE/Evaluation/Format_Result/Format_Result_Semantic_Induct"
 begin
 
-ML_file  "../../../LiFtEr/Matrix_sig.ML"
+ML_file  "../../../LiFtEr/Matrix_Sig.ML"
 ML_file  "../../../LiFtEr/Matrix_Struct.ML"
 
 ML\<open>