Skip to content

Commit

Permalink
#75 simplified
Browse files Browse the repository at this point in the history
  • Loading branch information
yegor256 committed Aug 18, 2024
1 parent d534e01 commit bacedea
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions lib/fbe/pmp.rb
Original file line number Diff line number Diff line change
Expand Up @@ -24,10 +24,14 @@

require 'others'
require_relative 'fb'
require_relative '../fbe'

# Project management functions.
module Fbe; end

# Get configuration parameter from the "PMP" fact.
#
# @param [Factbase] fb The factbase
# @param [Hash] global The hash for global caching
# @param [Judges::Options] options The options coming from the +judges+ tool
# @param [Loog] logg The logging facility
def Fbe.pmp(fb: Fbe.fb, global: $global, options: $options, loog: $loog)
others do |*args1|
area = args1.first
Expand Down

0 comments on commit bacedea

Please sign in to comment.