Commit da339dd4 authored by Björn Brandenburg's avatar Björn Brandenburg

remove unneeded Require statements in model/aggregate

parent dcce7f7e
Require Import rt.util.tactics.
Require Import rt.util.sum.
Require Export rt.restructuring.behavior.all.
Require Import rt.restructuring.model.task.
Require Import rt.restructuring.model.schedule.priority_based.priorities.
Require Import rt.restructuring.model.processor.ideal.
Require Export rt.restructuring.model.schedule.priority_based.priorities.
Require Export rt.restructuring.model.processor.ideal.
From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq fintype bigop.
......
Require Export rt.restructuring.behavior.all.
Require Import rt.restructuring.model.task.
Require Import rt.restructuring.model.schedule.priority_based.priorities.
Require Export rt.restructuring.model.schedule.priority_based.priorities.
From mathcomp Require Import ssreflect ssrbool eqtype ssrnat seq fintype bigop.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment