crashes with Unknown variable

[teto]

Hi I wanted to test comparest on an api but it crashes with

docker run --rm -v $(pwd):/data:rw typeable/comparest --client /data/openapi-25.4.0.json --server /data/openapi-25.7.0.json --output /data/report.md
compaREST: Unknown variable 1
CallStack (from HasCallStack):
 error, called at src/OpenAPI/Checker/Formula.hs:103:28 in openapi-diff-0.0.0.0-2h8adhmImCIFACbY9Rf8Ji:OpenAPI.Checker.Formula

I can send the relevant jsons via mail if interested

[ilyakooo0]

Sorry for the late reply. Can you send the two specs to [email protected]