diff options
| author | Brian Campbell | 2018-05-10 14:51:43 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-10 14:51:43 +0100 |
| commit | 1f9418d9fe49dc671964fc826a2a8847e3255c9a (patch) | |
| tree | 9757922fa312bd2a016cde2ebb55f74a4e7896c5 /lib | |
| parent | a332a86f2a856983609223172ad5180d3fd81385 (diff) | |
Clean up HOL library properly
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/hol/Holmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hol/Holmakefile b/lib/hol/Holmakefile index 442b1816..45ed41ff 100644 --- a/lib/hol/Holmakefile +++ b/lib/hol/Holmakefile @@ -1,6 +1,6 @@ SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \ sail_operators_mwordsScript.sml sail_operators_bitlistsScript.sml \ - state_monadScript.sml stateScript.sml + state_monadScript.sml stateScript.sml promptScript.sml prompt_monadScript.sml EXTRA_CLEANS = $(SCRIPTS) |