Skip to content

Commit

Permalink
chore: add into for refs (#635)
Browse files Browse the repository at this point in the history
* chore: add into for refs
  • Loading branch information
ajewellamz authored Oct 21, 2024
1 parent 21ecddb commit 8e768fd
Show file tree
Hide file tree
Showing 32 changed files with 121 additions and 2,622 deletions.
4 changes: 4 additions & 0 deletions TestModels/Constraints/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,10 @@ PROJECT_SERVICES := \

SERVICE_NAMESPACE_SimpleConstraints=simple.constraints

NAMESPACE=simple.constraints

MAIN_SERVICE_FOR_RUST := SimpleConstraints

SERVICE_DEPS_SimpleConstraints :=

SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
Expand Down
38 changes: 0 additions & 38 deletions TestModels/Constraints/runtimes/rust/src/client.rs

This file was deleted.

49 changes: 0 additions & 49 deletions TestModels/Constraints/runtimes/rust/src/client/get_constraints.rs

This file was deleted.

10 changes: 0 additions & 10 deletions TestModels/Constraints/runtimes/rust/src/conversions.rs

This file was deleted.

24 changes: 0 additions & 24 deletions TestModels/Constraints/runtimes/rust/src/conversions/client.rs

This file was deleted.

99 changes: 0 additions & 99 deletions TestModels/Constraints/runtimes/rust/src/conversions/error.rs

This file was deleted.

This file was deleted.

Loading

0 comments on commit 8e768fd

Please sign in to comment.