# HG changeset patch # User Matthias Goergens # Date 1274194687 -3600 # Node ID aeaa34b7611dd4192f7941f74f06cffb63e0a3fa # Parent 37060c2d7722c9c7de62024d4626d2c91466eafd comment on constants on mlvm/constants.ml Signed-off-by: Matthias Goergens diff --git a/mlvm/constants.ml b/mlvm/constants.ml --- a/mlvm/constants.ml +++ b/mlvm/constants.ml @@ -23,6 +23,7 @@ let redo_log_lv_name = "mlvm_redo_log" let mib = Int64.mul 1024L 1024L let tib = Int64.mul mib mib +(* Ahem, mutable constants? *) let dummy_mode = ref false let dummy_base = ref "/tmp" let mapper_name = ref "mapper"