diff --git a/cryptosmt.py b/cryptosmt.py index 54762425..2ddea28f 100644 --- a/cryptosmt.py +++ b/cryptosmt.py @@ -113,7 +113,7 @@ def loadparameters(args): # Check if there is an input file specified if args.inputfile: with open(args.inputfile[0], 'r') as input_file: - doc = yaml.load(input_file) + doc = yaml.load(input_file, Loader=yaml.CLoader) params.update(doc) if "fixedVariables" in doc: fixed_vars = {}