From 06fa0334047a9400d0b5a144601fca35746a53b8 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Wed, 17 Feb 2016 10:32:40 +0100
Subject: CLEANUP: Renaming "Util.compose" function to "%"

I propose to change the name of the "Util.compose" function to "%".

Reasons:

1. If one wants to express function composition,
   then the new name enables us to achieve this goal easier.

2. In "Batteries Included" they had made the same choice.
---
 proofs/tacmach.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'proofs')

diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml
index a10d8fd2f7..1e59c182ce 100644
--- a/proofs/tacmach.ml
+++ b/proofs/tacmach.ml
@@ -99,7 +99,7 @@ let pf_const_value              = pf_reduce (fun env _ -> constant_value_in env)
 let pf_reduce_to_quantified_ind = pf_reduce reduce_to_quantified_ind
 let pf_reduce_to_atomic_ind     = pf_reduce reduce_to_atomic_ind
 
-let pf_hnf_type_of gls = compose (pf_whd_betadeltaiota gls) (pf_get_type_of gls)
+let pf_hnf_type_of gls          = pf_whd_betadeltaiota gls % pf_get_type_of gls
 
 let pf_is_matching              = pf_apply Constr_matching.is_matching_conv
 let pf_matches                  = pf_apply Constr_matching.matches_conv
-- 
cgit v1.2.3