Commit a2365a22 authored by François Bobot's avatar François Bobot

why3session info --tree: print "?" for files and theories

parent 94184291
......@@ -204,8 +204,14 @@ module PTreeT = struct
let decomp = function
| Any t ->
let s = match t with
| File f -> f.file_name
| Theory th -> th.theory_name.Ident.id_string
| File f ->
if f.file_verified
then f.file_name
else f.file_name^"?"
| Theory th ->
if th.theory_verified
then th.theory_name.Ident.id_string
else th.theory_name.Ident.id_string^"?"
| Goal g ->
if g.goal_verified
then g.goal_name.Ident.id_string
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment