1.1 --- a/test/Tools/isac/BridgeJEdit/vscode-example.sml	Wed Aug 03 18:06:02 2022 +0200
     1.2 +++ b/test/Tools/isac/BridgeJEdit/vscode-example.sml	Wed Aug 03 18:17:27 2022 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4    "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]",
     1.5    "SideConditions [((u::real) / 2) \<up> 2 + (2 / v) \<up> 2 = r \<up> 2]",
     1.6    "SideConditions [(u::real) / 2 = r * sin \<alpha>, 2 / v = r * cos \<alpha>]",
     1.7 -(*MethodC model:*)                
     1.8 +(*MethodC model:*)
     1.9    "FunctionVariable a", "FunctionVariable b", "FunctionVariable \<alpha>",
    1.10    "Domain {0 <..< r}",
    1.11    "Domain {0 <..< r}",