diff options
| author | Pierre-Marie Pédrot | 2015-08-15 20:16:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-20 15:20:32 +0200 |
| commit | 85fca507c6c4810d0858d6fbd8f5a1ece52e755c (patch) | |
| tree | 3da9b86ae7199e7d84d29323a19645c0bda9af5a /ide/interface.mli | |
| parent | f4584f8a332c9077844e227c8b86d3cb1daf8b12 (diff) | |
Rich printing of goals.
Diffstat (limited to 'ide/interface.mli')
| -rw-r--r-- | ide/interface.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/interface.mli b/ide/interface.mli index 9d19f1c3c5..848fb817d4 100644 --- a/ide/interface.mli +++ b/ide/interface.mli @@ -18,9 +18,9 @@ type richpp = Richpp.richpp type goal = { goal_id : string; (** Unique goal identifier *) - goal_hyp : string list; + goal_hyp : richpp list; (** List of hypotheses *) - goal_ccl : string; + goal_ccl : richpp; (** Goal conclusion *) } |