Forgot to commit curr_sym.H when I added user_dyn_clause_count.
Authored by: tswift 2019-09-30
Parent: [r9654]
Child: [r9656]