(fix test tmdgen à cause du lockfile changé)

klee-contrib · Sep 11, 2024 · 2fc09e3 · 2fc09e3
1 parent 390cf88
commit 2fc09e3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/samples/generators/open-api/tmdgen.lock b/samples/generators/open-api/tmdgen.lock
@@ -3,6 +3,7 @@
 #
 
 version: 1.6.9
+modules: {}
 generatedFiles:
   - ./Petstore/Model.tmd
   - ./Petstore/Pet.tmd