================ @@ -0,0 +1,21 @@ +#ifndef MLIR_CAPI_PRESBURGER_H ---------------- christopherbate wrote: Missing comment license/documentation header, same for all other files. https://github.com/llvm/llvm-project/pull/113233