Commit 86dfb313 authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur 🏘
Browse files

bug fix: number universal variables of field

parent efc60765
......@@ -454,7 +454,8 @@ instance reify FieldSymbol where
` ("\"" +++ def.sd_ident.id_name +++ "\"")
` length (def.sd_exi_vars)
` def.sd_type.st_result)
(numberTypeVariables def.sd_exi_vars st)
(numberTypeVariables def.sd_type.st_vars
(numberTypeVariables def.sd_exi_vars st))
where
def
= bs_common_defs.[bs_main]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment