Ignore:
Timestamp:
Oct 30, 2012, 4:23:09 PM (8 years ago)
Author:
tranquil
Message:

adapted joint to cl_call f

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/SemanticUtils.ma

    r2286 r2422  
    151151definition make_sem_graph_params :
    152152  ∀pars : graph_params.
    153   ∀g_pars : more_sem_unserialized_params pars (joint_internal_function pars).
     153  ∀g_pars : more_sem_unserialized_params pars (joint_closed_internal_function pars).
    154154  sem_params ≝
    155155  λpars,g_pars.
     
    190190definition make_sem_lin_params :
    191191  ∀pars : lin_params.
    192   ∀g_pars : more_sem_unserialized_params pars (joint_internal_function pars).
     192  ∀g_pars : more_sem_unserialized_params pars (joint_closed_internal_function pars).
    193193  sem_params ≝
    194194  λpars,g_pars.
Note: See TracChangeset for help on using the changeset viewer.