We're updating the issue view to help you get more done. 

Cannot call operations in expressions in console or dot commands

Description

When loading
public_examples/B/NewSyntax/ExpressionsWithOperations/TopologyOpExpr
one cannot call follow(tr1) in the Console or visualise e.g. the assertions graphically as dot tree.

It could be that the machine preferences
SET_PREF_ALLOW_OPERATION_CALLS_IN_EXPRESSIONS == TRUE;
SET_PREF_ALLOW_LOCAL_OPERATION_CALLS == TRUE
are not passed to the console or other parts of ProB2 UI or that it keeps two sets of preferences.

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major