Skip to content
Snippets Groups Projects
Commit e512cf88 authored by Martin Bauer's avatar Martin Bauer
Browse files

Merge branch 'fix-free/defined-symbols-for-non-Assignments' into 'master' 

Fix AssignmentCollection.{free_symbols,bound_symbols,defined_symbols} for non-Assignments

See merge request !114
parents 87913d0c ef543c5e
1 merge request!114Fix AssignmentCollection.{free_symbols,bound_symbols,defined_symbols} for non-Assignments
Pipeline #20692 passed with stages
Stage:
    Stage:
      in 2 minutes and 48 seconds
      Hide whitespace changes
      Inline Side-by-side
      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