20150320135159_create_proof_attempt_configurations.rb revision c4bdc37c9de27abfa1d5be18008953b32457e6c4
end
null: false
end
# We need to supply a custom name because the generated name is
# too long for PostgreSQL
name: 'index_axioms_pacs_on_proof_attempt_configuration_id'
end
# We need to supply a custom name because the generated name is
# too long for PostgreSQL
name: 'index_goals_pacs_on_proof_attempt_configuration_id'
end
end