File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -221,6 +221,12 @@ module Make<InputSig Input> {
221
221
222
222
/** Provides logic related to `Folder`s. */
223
223
module Folder {
224
+ pragma [ nomagic]
225
+ private Container getAChildContainer ( Container c , string baseName ) {
226
+ result = c .getAChildContainer ( ) and
227
+ baseName = result .getBaseName ( )
228
+ }
229
+
224
230
/** Holds if `relativePath` needs to be appended to `f`. */
225
231
signature predicate shouldAppendSig ( Folder f , string relativePath ) ;
226
232
@@ -239,12 +245,6 @@ module Make<InputSig Input> {
239
245
result = 0
240
246
}
241
247
242
- pragma [ nomagic]
243
- private Container getAChildContainer ( Container c , string baseName ) {
244
- result = c .getAChildContainer ( ) and
245
- baseName = result .getBaseName ( )
246
- }
247
-
248
248
pragma [ nomagic]
249
249
private Container appendStep ( Folder f , string relativePath , int i ) {
250
250
i = - 1 and
You can’t perform that action at this time.
0 commit comments