summaryrefslogtreecommitdiff
path: root/src/core
diff options
context:
space:
mode:
authorNick Mathewson <nickm@torproject.org>2019-10-17 08:25:11 -0400
committerNick Mathewson <nickm@torproject.org>2019-10-17 08:25:11 -0400
commit39cf575ed47bf9ff65ad9a2f85f5b7bc0f1d9840 (patch)
treed0ded960c93045415e6e2833d6afa71d28440102 /src/core
parent5f3233ce1a1fb91c36354cf6c2668b687638c707 (diff)
parent85accdf00a49dc64894383292026dc538f4b2042 (diff)
downloadtor-39cf575ed47bf9ff65ad9a2f85f5b7bc0f1d9840.tar.gz
tor-39cf575ed47bf9ff65ad9a2f85f5b7bc0f1d9840.zip
Merge remote-tracking branch 'tor-github/pr/1416'
Diffstat (limited to 'src/core')
-rw-r--r--src/core/include.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/include.am b/src/core/include.am
index 9b4b251c81..a0a546f78a 100644
--- a/src/core/include.am
+++ b/src/core/include.am
@@ -353,7 +353,7 @@ noinst_HEADERS += \
src/feature/dircommon/fp_pair.h \
src/feature/dircommon/vote_timing_st.h \
src/feature/dircommon/voting_schedule.h \
- src/feature/dirparse/authcert_members.i \
+ src/feature/dirparse/authcert_members.h \
src/feature/dirparse/authcert_parse.h \
src/feature/dirparse/microdesc_parse.h \
src/feature/dirparse/ns_parse.h \