max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(kernel/quot): remove unnecessary include

Browse source
This commit is contained in:
Leonardo de Moura 2018-09-04 10:58:32 -07:00
parent 66ebd5d7d6
commit 4da40f5d0e
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/kernel/quot.cpp
View file

@ -7,7 +7,6 @@ Author: Leonardo de Moura
Quotient types.
*/
#include "util/name_generator.h"
#include "kernel/old_type_checker.h"
#include "kernel/quot.h"
#include "kernel/local_ctx.h"
#include "kernel/inductive/inductive.h"