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> {
221221
222222 /** Provides logic related to `Folder`s. */
223223 module Folder {
224+ pragma [ nomagic]
225+ private Container getAChildContainer ( Container c , string baseName ) {
226+ result = c .getAChildContainer ( ) and
227+ baseName = result .getBaseName ( )
228+ }
229+
224230 /** Holds if `relativePath` needs to be appended to `f`. */
225231 signature predicate shouldAppendSig ( Folder f , string relativePath ) ;
226232
@@ -239,12 +245,6 @@ module Make<InputSig Input> {
239245 result = 0
240246 }
241247
242- pragma [ nomagic]
243- private Container getAChildContainer ( Container c , string baseName ) {
244- result = c .getAChildContainer ( ) and
245- baseName = result .getBaseName ( )
246- }
247-
248248 pragma [ nomagic]
249249 private Container appendStep ( Folder f , string relativePath , int i ) {
250250 i = - 1 and
You can’t perform that action at this time.
0 commit comments