Skip to content

Commit

Permalink
hack->verify again
Browse files Browse the repository at this point in the history
  • Loading branch information
gmarek committed Oct 6, 2016
1 parent bad98e6 commit d5be53a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion verify/boilerplate/boilerplate.py
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@

def get_refs():
refs = {}
for path in glob.glob(os.path.join(rootdir, "hack/boilerplate/boilerplate.*.txt")):
for path in glob.glob(os.path.join(rootdir, "verify/boilerplate/boilerplate.*.txt")):
extension = os.path.basename(path).split(".")[1]

ref_file = open(path, 'r')
Expand Down

0 comments on commit d5be53a

Please sign in to comment.