semantic_induct: make the file case-sensitive.

data61 · Oct 23, 2020 · a9cab56 · a9cab56
1 parent 96bb5d7
commit a9cab56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>