1.1 --- a/src/Tools/isac/Specify/p-model.sml	Mon Feb 13 15:50:53 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/p-model.sml	Wed Feb 15 15:56:09 2023 +0100
     1.3 @@ -7,6 +7,8 @@
     1.4  
     1.5  signature PRESENTATION_MODEL =
     1.6  sig
     1.7 +(* P_Model.
     1.8 +           for = Problem | Method *)
     1.9    datatype switch_pbl_met = Model_For_Problem_Ref | Model_For_Method_Ref
    1.10  
    1.11    type model_out
    1.12 @@ -104,7 +106,7 @@
    1.13        val p_model = 
    1.14          case switch_pbl_met of
    1.15            Model_For_Problem_Ref =>
    1.16 -            let (* the sequence *)
    1.17 +            let
    1.18                val {where_rls, where_, ...} = Problem.from_store ctxt pbl_id
    1.19                val (_, where_) = Pre_Conds.check ctxt where_rls where_ probl 0
    1.20              in model_to_out ctxt where_ probl end