replace ["partition_name"] by .partition_name #467

Merged

viennet merged 1 commits from jmplace/ScoDoc-Lille:fix_order_partition_not_subscritable into master 2022-08-02 16:37:17 +02:00

Conversation 0 Commits 1 Files Changed 1 +1 -1

1 Commits

Author	SHA1	Message	Date
Jean-Marie PLACE	b0ebdf2fb9	replace ["partition_name"] by .partition_name	2022-08-02 16:32:31 +02:00