Skip to content
Permalink
Browse files

Merge pull request #656 from CakeML/candle-rename-assume

Rename assume_conv -> assume (because not a conv)
  • Loading branch information...
xrchz committed May 28, 2019
2 parents 0d7f530 + 36973b3 commit 52270c049337b1915a61c946c535e43a0d2084b5
Showing with 1 addition and 1 deletion.
  1. +1 −1 candle/standard/ml_kernel/ml_hol_kernelProgScript.sml
@@ -282,7 +282,7 @@ val def = new_constant_def |> m_translate
val def = add_type_def |> m_translate
val def = new_type_def |> m_translate

val _ = next_ml_names := ["eq_mp_rule", "assume_conv"];
val _ = next_ml_names := ["eq_mp_rule", "assume"];
val def = holKernelPmatchTheory.EQ_MP_def |> m_translate
val def = ASSUME_def |> m_translate

0 comments on commit 52270c0

Please sign in to comment.
You can’t perform that action at this time.