From 6fafb1dfcd120afcd959b25c9ba1cd1af6f85a12 Mon Sep 17 00:00:00 2001
From: schillic <schillic@informatik.uni-freiburg.de>
Date: Thu, 26 Jul 2018 21:01:37 +0200
Subject: [PATCH] add docs for Line

---
 docs/src/lib/representations.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/src/lib/representations.md b/docs/src/lib/representations.md
index 047d0582f71..16c11ac3c76 100644
--- a/docs/src/lib/representations.md
+++ b/docs/src/lib/representations.md
@@ -156,6 +156,8 @@ vertices_list(::Interval)
 Line
 dim(::Line{Float64})
 σ(::AbstractVector{Float64}, ::Line{Float64})
+∈(::AbstractVector, ::Line)
+an_element(::Line)
 ```
 
 ## Line segment