# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1610155531 -32400
# Node ID e295aaee8c65853a3e89845d93e24429168d4f45
# Parent  6d1619d9f880673daf35beb5d483b79ea2bbe0bc
fix

diff -r 6d1619d9f880 -r e295aaee8c65 Galois.agda-lib
--- a/Galois.agda-lib	Sat Jan 09 10:18:08 2021 +0900
+++ b/Galois.agda-lib	Sat Jan 09 10:25:31 2021 +0900
@@ -1,2 +1,3 @@
 name: Galois
-depend: standard-library include: src 
+depend: standard-library
+include: src