diff options
Diffstat (limited to '')
| -rw-r--r-- | backends/hol4/testScript.sml (renamed from backends/hol4/TestScript.sml) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backends/hol4/TestScript.sml b/backends/hol4/testScript.sml index 2eb3f23b..fe1c1e11 100644 --- a/backends/hol4/TestScript.sml +++ b/backends/hol4/testScript.sml @@ -1,6 +1,6 @@ open HolKernel boolLib bossLib Parse -val primitives_theory_name = "Test" +val primitives_theory_name = "test" val _ = new_theory primitives_theory_name open boolTheory integerTheory wordsTheory stringTheory |