Skip to content

Commit

Permalink
SeLFiE: minor change.
Browse files Browse the repository at this point in the history
  • Loading branch information
yutakang authored and yutakang committed Oct 8, 2020
1 parent 2e416f9 commit 70f2785
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions SeLFiE/Unique_Node.ML
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,9 +7,9 @@ Proof.state & term ==== pst_n_trm_to_path_to_unode_table ====> (*Path_To_Unode.M
(term * Proof.state ==== trm_to_trm_w_prnt ========================================> (* in Unique_Node *)
trm_w_prnt ==== trm_w_prnt_to_utrm_w_prnt ================================> (* in Unique_Node *)
utrm_w_prnt ==== utrm_w_prnt_to_futrm_w_prnt ==============================> (* in Unique_Node *)
futrm_w_prnt ==== futrm_w_prnt_to_futrm_w_prnt_n_tag ======================> (* in Unique_Node *)
futrm_w_prnt_n_tag ==== futrm_w_prnt_n_tag_to_futrm_w_prnt_n_tag_n_inner_path ================> (* in Unique_Node *)
futrm_w_prnt_n_tag_n_inner_path ==== futrm_w_prnt_n_tag_n_inner_path_n_ctxt_to_unodes ====> (* in Unique_Node *)
futrm_w_prnt ==== futrm_w_prnt_to_futrm_w_prnt_n_tag =======================> (* in Unique_Node *)
futrm_w_prnt_n_tag ==== futrm_w_prnt_n_tag_to_futrm_w_prnt_n_tag_n_inner_path ====> (* in Unique_Node *)
futrm_w_prnt_n_tag_n_inner_path ==== futrm_w_prnt_n_tag_n_inner_path_n_ctxt_to_unodes =========> (* in Unique_Node *)
unodes ==== unodes_to_unode_table ====================================> (* in Path_To_Unode *)
path_to_unode_table)
*)
Expand Down

0 comments on commit 70f2785

Please sign in to comment.