1.1 --- a/src/Tools/isac/MathEngBasic/calculation.sml	Tue Jul 26 22:29:35 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/calculation.sml	Wed Jul 27 13:11:43 2022 +0200
     1.3 @@ -52,7 +52,7 @@
     1.4    let
     1.5      val (p', _) = if Pos.on_specification pos then pos else (Ctree.par_pblobj pt p, p_)
     1.6    in
     1.7 -    References.select (#2 (Ctree.get_obj Ctree.g_origin pt p')) (Ctree.get_obj Ctree.g_spec pt p')
     1.8 +    References.select_input (#2 (Ctree.get_obj Ctree.g_origin pt p')) (Ctree.get_obj Ctree.g_spec pt p')
     1.9    end
    1.10  
    1.11