C#: Minor simplification.

This commit is contained in:
Anders Schack-Mulligen
2023-09-26 13:51:12 +02:00
parent 68d05eb342
commit 20cbab9e8f

View File

@@ -29,8 +29,7 @@ private module Impl = Make<Input>;
class Container = Impl::Container;
/** A folder. */
class Folder extends Container, Impl::Folder { }
class Folder = Impl::Folder;
bindingset[flag]
private predicate fileHasExtractionFlag(File f, int flag) {