From 0074c7201e77ae27fa1bd79e05a084729266c55b Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Thu, 4 Jul 2019 19:49:28 -0700
Subject: Fix #10399: dependent evars line empty

This was broken by change 6608f64.
---
 engine/proofview.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'engine/proofview.ml')

diff --git a/engine/proofview.ml b/engine/proofview.ml
index 1f076470c1..d6f5aab1d1 100644
--- a/engine/proofview.ml
+++ b/engine/proofview.ml
@@ -1247,7 +1247,7 @@ module V82 = struct
 
   let top_evars initial { solution=sigma; } =
     let evars_of_initial (c,_) =
-      Evar.Set.elements (Evd.evars_of_term sigma c)
+      Evar.Set.elements (Evd.evar_nodes_of_term c)
     in
     CList.flatten (CList.map evars_of_initial initial)
 
-- 
cgit v1.2.3