snap upd

Author: andrii-a8c

crates/sui-prover/tests/snapshots/spec_paths/wrong_module.move.snap

@@ -6,11 +6,5 @@ exiting with model building errors
 error: unexpected name in this position
    ┌─ tests/inputs/spec_paths/wrong_module.move:12:28
    │
-10 │     use 0x42::foo;
-   │               --- Similarly named defintion found here
-11 │ 
 12 │     #[spec(prove, target = bar::inc)]
-   │                            ^^^
-   │                            │
-   │                            Could not resolve the name 'bar'
-   │                            Did you mean: 'foo'
+   │                            ^^^^^^^^ Unexpected module identifier. A module identifier is not a valid expression