Reduce circular dependency constants <-> projections

Instead of having the projection data in the constant data we have it
independently in the environment.

1 files changed, 1 insertions, 1 deletions

diff --git a/library/heads.ml b/library/heads.ml
index 198672a0a1..3d5f6a6ff0 100644
--- a/library/heads.ml
+++ b/library/heads.ml
@@ -129,7 +129,7 @@ let compute_head = function
    let cb = Environ.lookup_constant cst env in
    let is_Def = function Declarations.Def _ -> true | _ -> false in
    let body = 
-     if cb.Declarations.const_proj = None && is_Def cb.Declarations.const_body
+     if not cb.Declarations.const_proj && is_Def cb.Declarations.const_body
      then Global.body_of_constant cst else None
    in
      (match body with