add generic_trajectories and smooth_trajectories among the files to c…

…ompile
math-comp · Apr 22, 2024 · 857c56f · 857c56f
1 parent dba5579
commit 857c56f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -1,3 +1,5 @@
+theories/generic_trajectories.v
+theories/smooth_trajectories.v
 theories/convex.v
 theories/preliminaries.v
 theories/poly_normal.v