From 988bef6a7d04960324aca0be70a4c48f20ede8fe Mon Sep 17 00:00:00 2001 From: Tyler Veness Date: Fri, 21 Jun 2024 14:25:45 -0700 Subject: [PATCH] Remove CasADi headers from #include sort overrides (#199) --- .styleguide | 1 - include/.styleguide | 1 - src/.styleguide | 1 - 3 files changed, 3 deletions(-) diff --git a/.styleguide b/.styleguide index ad0c2a15..bbe0ea3e 100644 --- a/.styleguide +++ b/.styleguide @@ -15,7 +15,6 @@ modifiableFileExclude { includeOtherLibs { ^Eigen/ - ^casadi/ ^sleipnir/ ^trajopt/ } diff --git a/include/.styleguide b/include/.styleguide index 018272ee..63357f53 100644 --- a/include/.styleguide +++ b/include/.styleguide @@ -14,6 +14,5 @@ modifiableFileExclude { includeOtherLibs { ^Eigen/ - ^casadi/ ^sleipnir/ } diff --git a/src/.styleguide b/src/.styleguide index fb8114cd..9fff8133 100644 --- a/src/.styleguide +++ b/src/.styleguide @@ -14,7 +14,6 @@ modifiableFileExclude { includeOtherLibs { ^Eigen/ - ^casadi/ ^rust/ ^sleipnir/ }