Fixed to correctly output student atom

parent 14d4c05a
......@@ -37,7 +37,7 @@ def parse_transcript(transcript):
def gen_main(student, degree, major, year, spec, courses):
student_fact = "student({0},{0}).".format(student)
student_fact = "student({},{}).".format(student,major)
if spec != 'none':
spec_string = '_specialization({0},{1}).\n'.format(student, spec)
Markdown is supported
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